Symposium on Intuitionism and Proof Theory

ID:DA01163554

別名

Buffalo Symposium

同姓同名の著者を検索

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

  • Proof theory

    Gaisi Takeuti

    North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science 1987 2nd ed Studies in logic and the foundations of mathematics v. 81

    所蔵館50館

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

ページトップへ