Blank Cover Image
所蔵情報QRコード

Introduction to metamathematics / by Stephen Cole Kleene

資料種別:
図書
出版情報:
Amsterdam : North-Holland
Groningen : P. Noordhoff, 1952
形態:
x, 550 p. ; 23 cm
シリーズ名:
Bibliotheca mathematica ; v. 1 <BA03783167>
著者名:
Kleene, Stephen Cole, 1909- <DA01672795>  
書誌ID:
BA04749197
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

North-Holland, Noordhoff
7 図書 Two papers on the predicate calculus

Kleene, Stephen Cole, 1909-

American Mathematical Society
2 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Van Nostrand
8 図書 Mathematical logic

Kleene, Stephen Cole, 1909-

J. Wiley
3 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Van Nostrand
9 図書 Formalized recursive functionals and formalized realizability

Kleene, Stephen Cole, 1909-

American Mathematical Society
4 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
10 図書 The foundations of intuitionistic mathematics : especially in relation to recursive functions

Kleene, Stephen Cole, 1909-, Vesley, Richard Eugene, 1932-

North-Holland Pub. Co.
5 図書 Unvollständigkeit und Unentscheidbarkeit : die metamathematischen Resultate von Gödel, Church, Kleene, Rosser und ihre erkenntnistheoretische Bedeutung

Stegmüller, Wolfgang

Springer-Verlag
11 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland, Elsevier Science, Sole distributors for the U.S.A. and Canada, Elsevier Science
6 図書 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
12 図書 Metamagical themas : questing for the essence of mind and pattern (: paper)

Hofstadter, Douglas R., 1945-

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