登入選單
Google圖書搜尋
Introduction to Metamathematics
作者
S.C. Kleene
出版North Holland, 1980-01-01
ISBN
0720421039 / 9780720421033
主題
Computers
Formalized Recursive Functionals and Formalized Re...
作者
Stephen Cole Kleene
出版American Mathematical Soc., 1969-12-31
ISBN
0821858831 / 9780821858837
Introduction to Metamathematics
作者
S. C. Kleene
出版North-Holland, 1980-02
ISBN
1493302809 / 9781493302802
主題
Computers
元数学导论
出版1985
ISBN
OCLC:298882967
元数学导论
作者
S. C. Kleene
出版1985
ISBN
OCLC:298882967
Two Papers on the Predicate Calculus
作者
S. C. Kleene
出版1952
ISBN
OCLC:729238592
Memoirs of the American Mathematical Society
作者
S. C. Kleene
出版1969
ISBN
OCLC:1247606973
Permutability of Inferences in Gentzen's Calculi L...
作者
S. C. Kleene
出版1971
ISBN
OCLC:429566492
Основания интуиционистской математики
作者
Стефен Ц. Клеене / Richard Eugene Vesley
出版1978
ISBN
OCLC:246619673