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
形態:
viii, 117 p. ; 22 cm
シリーズ名:
Studies in logic and the foundations of mathematics <BA00099329>
著者名:
Mostowski, Andrzhei︠a︡ <DA02321446>  
書誌ID:
BA10314552
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Undecidable theories

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

North-Holland Pub. Co.
7 図書 The undecidable : basic papers on undecidable propositions, unsolvable problems and computable functions

Davis, Martin, 1928-

Raven Press
2 図書 Introduction to semantics and formalization of logic

Carnap, Rudolf, 1891-1970

Harvard University Press
8 図書 A formalization of set theory without variables

Tarski, Alfred, 1902-, Givant, Steven R.

American Mathematical Society
3 図書 Gödel's theorems : a workbook on formalization : for Lauren

Huber-Dyson, Verena

B.G. Teubner
9 図書 Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk)

Van Heijenoort, Jean, 1912-, Frege, Gottlob, 1848-1925, Gödel, Kurt, 1906-1978

Harvard University Press
4 図書 On formally undecidable propositions of Principia mathematica and related systems

Gödel, Kurt, 1906-1978, Meltzer, Bernard N., Braithwaite, R. B. (Richard Bevan)

Basic Books
10 図書 Gödel's incompleteness theorems

Smullyan, Raymond M., 1919-

Oxford University Press
5 図書 Set theory

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

North-Holland, Polish Scientific Publishers
11 図書 The basic laws of arithmetic : exposition of the system

Frege, Gottlob, 1848-1925, Furth, Montgomery

University of California Press
6 図書 Set theory

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

North-Holland, Polish Scientific Publishers
12 図書 Philosophische Bemerkungen

Wittgenstein, Ludwig, 1889-1951, Rhees, Rush

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