Došen, Kosta

ID:DA08374332

別名

Došen, K

同姓同名の著者を検索

検索結果2件中 1-2 を表示

  • Cut elimination in categories

    Kosta Dosen

    Kluwer Academic c1999 Trends in logic : studia logica library v. 6

    所蔵館23館

  • Substructural logics

    edited by Peter Schroeder-Heister and Kosta Došen

    Clarendon Press , Oxford University Press 1993 Studies in logic and computation 2

    所蔵館22館

この著者を外部サイトでさがす

ページトップへ