Blank Cover Image
所蔵情報QRコード

Introduction to metamathematics / Stephen Cole Kleene

資料種別:
図書
出版情報:
Princeton, N. J. : Van Nostrand, 1964
形態:
550 p. ; 24 cm
シリーズ名:
The University series in higher mathematics <BA0395833X>
著者名:
Kleene, Stephen Cole, 1909- <DA01672795>  
書誌ID:
BA04301498
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻
Introduction to metamathematics
by Stephen Cole Kleene , Van Nostrand , 1952

類似資料:

1 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Van Nostrand
7 図書 Mathematical logic

Kleene, Stephen Cole, 1909-

J. Wiley
2 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

North-Holland, Noordhoff
8 図書 Formalized recursive functionals and formalized realizability

Kleene, Stephen Cole, 1909-

American Mathematical Society
3 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

North-Holland, P. Noordhoff
9 図書 Intuitionism : an introduction

Heyting, Arend

North-Holland Publishing Co
4 図書 The mathematics of metamathematics

Rasiowa, Helena, Sikorski, Roman

Państwowe Wydawnictwo Naukowe
10 図書 Introduction to the theory of finite automata

Kobrinskiĭ, Natan Efimovich, Trakhtenbrot, B. A. (Boris Avraamovich), Shepherdson, J. C.

North-Holland
5 図書 The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

Kleene Symposium, Kleene, Stephen Cole, 1909-, Barwise, Jon, Keisler, H. Jerome, 1936-, Kunen, Kenneth

North-Holland Pub. Co., Sole distributors for the U.S.A. and Canada, Elsevier North-Holland
11 図書 An introduction to mathematical thought

Stabler, E. R.

Addison-Wesley
6 図書 Two papers on the predicate calculus

Kleene, Stephen Cole, 1909-

American Mathematical Society
12 図書 Introduction to mathematical thinking : the formation of concepts in modern mathematics

Waismann, Friedrich, Menger, Karl, 1902-

Harper
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12