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

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel

種類:
図書
責任表示:
Andrzej Mostowski
出版情報:
Amsterdam : North-Holland Pub. Co., 1952
著者名:
Mostowski, Andrzhei︠a︡ <DA02321446>  
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
注記:
Bibliography: p. [116]-117
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Undecidable theories

Tarski, Alfred, 1902-, Mostowski, Andrzhei︠a︡, Robinson, Raphael M. (Raphael Mitchel), 1911-

North-Holland Pub. Co.
7 図書 The monadic second order theory of all countable ordinals

Büchi, J. Richard, 1924-1984, Siefkes, Dirk

Springer
2 図書 Undecidable theories

Tarski, Alfred, 1902-, Mostowski, Andrzhei︠a︡, Robinson, Raphael M. (Raphael Mitchel), 1911-

North-Holland Pub. Co.
8 図書 The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory

Gödel, Kurt, 1906-1978, Brown, George William, 1917-

Princeton University Press
3 図書 Gödel's proof

Nagel, Ernest, 1901-, Newman, James Roy, 1907-1966

New York University Press
9 図書 Set theory

Kuratowski, Kazimierz, 1896-, Mostowski, Andrzhei︠a︡

North-Holland, Polish Scientific Publishers
4 図書 Forever undecided : a puzzle guide to Gödel

Smullyan, Raymond M., 1919-

Oxford University Press
10 図書 Semantic theory

Kempson, Ruth M.

Cambridge University Press
5 図書 Word and object

Quine, W. V. (Willard Van Orman), 1908-

Technology Press of the Massachusetts Institute of Technology
11 図書 The handbook of contemporary semantic theory

Lappin, Shalom

Blackwell
6 図書 Word and object

Quine, W. V. (Willard Van Orman), 1908-

M. I. T. Press
12 図書 Edmund Husserl's theory of meaning

Mohanty, Jitendranath, 1928-

Martinus Nijhoff