Abstract automath

Abstract automath

フォーマット:
図書
責任表示:
A. Rezus
本文言語:
英語
説明:
vi, 188 p.; 24 cm
出版情報:
Amsterdam, Netherlands. 1983. Mathematisch Centrum
シリーズ:
Mathematical Centre tracts; 160
本文を見る
所蔵情報
Loading availability information

類似資料:

7
論理数学 by 細井, 勉
2
計算論 by 広瀬, 健
8
Philosophy of mathematics today by Agazzi, Evandro; Darvas, György
3
メタマス! : オメガをめぐる数学の冒険 by Chaitin, Gregory J.; 黒川, 利明
11
Fundamental concepts of elementary mathematics by Brumfiel, Charles Francis, 1914-; Eicholz, Robert E.; Shanks, Merrill, 1911-
12
Logic and structure by Dalen, D. van
2.
計算論 by 広瀬, 健
3.
メタマス! : オメガをめぐる数学の冒険 by Chaitin, Gregory J.; 黒川, 利明
7.
論理数学 by 細井, 勉
8.
Philosophy of mathematics today by Agazzi, Evandro; Darvas, György
10.
Les fondements logiques des mathématiques by Beth, Evert Willem
11.
Fundamental concepts of elementary mathematics by Brumfiel, Charles Francis, 1914-; Eicholz, Robert E.; Shanks, Merrill, 1911-
12.
Logic and structure by Dalen, D. van