Blank Cover Image
このページのQRコード

Introduction to metamathematics

種類:
図書
責任表示:
by Stephen Cole Kleene
出版情報:
Amsterdam : North-Holland
Groningen : P. Noordhoff, 1952
著者名:
Kleene, Stephen Cole, 1909- <DA01672795>  
シリーズ名:
Bibliotheca mathematica ; v. 1 <BA03783167>
注記:
Includes bibliographical references and index
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Introduction to metamathematics

Kleene, Stephen Cole, 1909-

Wolters-Noordhoff, North-Holland
7 図書 A relational theory of computing

Sanderson, John G., 1929-

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

Robinson, Abraham, 1918-1974

North-Holland Pub. Co.
8 図書 Theory of formal systems

Smullyan, Raymond M., 1919-

Princeton University Press
3 図書 Two papers on the predicate calculus

Kleene, Stephen Cole, 1909-

American Mathematical Society
9 図書 Metamathematik

Lorenzen, Paul

Bibliographisches Institut
4 図書 The foundations of intuitionistic mathematics : especially in relation to recursive functions

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

North-Holland Pub. Co.
10 図書 Gödel, Escher, Bach : an eternal golden braid

Hofstadter, Douglas R., 1945-

Penguin
5 図書 Introduction to model theory and to the metamathematics of algebra

Robinson, Abraham, 1918-1974

North-Holland, American Elsevier
11 図書 Algorithmic information theory

Chaitin, Gregory J.

Cambridge University Press
6 図書 Theory of formal systems

Smullyan, Raymond M., 1919-

Princeton University Press
12 図書 The mathematics of metamathematics

Rasiowa, Helena, Sikorski, Roman

PWN-Polish Scientific Publishers