close
1.

図書
図書
1. Shadows of the mind : a search for the missing science of consciousness
Roger Penrose
出版情報: Oxford ; New York : Oxford University Press, 1994
所蔵情報: loading…
2.

図書
図書
2. Gödel's incompleteness theorems
Raymond M. Smullyan
出版情報: New York : Oxford University Press, 1992
シリーズ名: Oxford logic guides ; 19
所蔵情報: loading…
3.

図書
図書
3. The monadic second order theory of all countable ordinals (: Germany ; : U.S.)
J. Richard Büchi, Dirk Siefkes
出版情報: Berlin ; New York : Springer, 1973
シリーズ名: Lecture notes in mathematics ; 328
Decidable theories ; 2
所蔵情報: loading…
目次情報:
The monadic second order theory of ω[1] J. Richard Büchi
Axiomatization of the monadic second order theory of ω[1] J. Richard Büchi, Dirk Siefkes
The monadic second order theory of ω[1] J. Richard Büchi
Axiomatization of the monadic second order theory of ω[1] J. Richard Büchi, Dirk Siefkes
4.

図書
図書
4. Enumerability, decidability, computability : an introduction to the theory of recursive functions. 2nd rev. ed
Hans Hermes ; translated by G.T. Hermann and O. Plassmann
出版情報: Berlin ; New York : Springer, 1969
シリーズ名: Die Grundlehren der mathematischen Wissenschaften ; Bd. 127
所蔵情報: loading…
5.

図書
図書
5. Undecidable theories
by Alfred Tarski ; in collaboration with Andrzej Mostowski and Raphael M. Robinson
出版情報: Amsterdam : North-Holland Pub. Co., 1953
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…
6.

図書
図書
6. Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
Andrzej Mostowski
出版情報: Amsterdam : North-Holland Pub. Co., 1952
シリーズ名: Studies in logic and the foundations of mathematics
所蔵情報: loading…