Undecidable theories

Undecidable theories

フォーマット:

図書

責任表示:

by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson

言語:

英語

出版情報:

Amsterdam : North-Holland Pub. Co., 1953

形態:

xi, 98 p ; 22 cm

著者名:

シリーズ名:

Studies in logic and the foundations of mathematics <BA00099329>

書誌ID:

BA46337389

子書誌情報

所蔵情報

タイトルが類似している資料

詳細

主題:	Gödel's theorem
分類・件名:	LCC : QA9 DDC : 164 LCSH : Gödel's theorem
注記:	Bibliography: p. 89-91
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel Mostowski, Andrzhei︠a︡ North-Holland Pub. Co.	7 図書 The monadic second order theory of all countable ordinals Büchi, J. Richard, 1924-1984, Siefkes, Dirk Springer
2 図書 Set theory Kuratowski, Kazimierz, 1896-, Mostowski, Andrzhei︠a︡ North-Holland, Polish Scientific Publishers	8 図書 Enumerability, decidability, computability : an introduction to the theory of recursive functions Hermes, Hans Springer
3 図書 Set theory : with an introduction to descriptive set theory Kuratowski, Kazimierz, 1896-, Mostowski, Andrzhei︠a︡ North-Holland Pub. Co., distributor, Elsevier/North-Holland	9 図書 Foundational studies : selected works Mostowski, Andrzhei︠a︡, Kuratowski, Kazimierz, 1896- North-Holland Pub. Co., sole distributor for the U.S.A. and Canada, Elsevier North-Holland
4 図書 Constructible sets with applications Mostowski, Andrzhei︠a︡ North-Holland	10 図書 The axiomatic method with special reference to geometry and physics : proceedings of an international symposium held at the University of California, Berkeley, … Henkin, Leon, Suppes, Patrick, 1922-, Tarski, Alfred, 1902- North-Holland
5 図書 Ordinal algebras Tarski, Alfred, 1902- North-Holland Pub. Co.	11 図書 Lifelong kindergarten : cultivating creativity through projects, passion, peers, and play Resnick, Mitchel, Robinson, Ken The MIT Press
6 図書 Gödel's incompleteness theorems Smullyan, Raymond M., 1919- Oxford University Press	12 図書 The theory of models : proceedings of the 1963 International Symposium at Berkeley International Symposium on the Theory of Models, Addison, J. W. (John West), 1930-, University of California, Berkeley, … North-Holland