Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Subject: #Gödel's theorem)
Results:11items
Undecidable theories / In collaboration with Andrzej Mostowski and Raphael M. Robinson.
Amsterdam : North-Holland , 1971 {c1953}. - (Studies in logic and the foundations of mathematics)
Books
Godel's theorems : a workbook on formalization : for Lauren / Verena Huber-Dyson.
Bd. 122. - Stuttgart : B.G. Teubner , 1991. - (Teubner-Texte zur Mathematik ; Bd. 122)
Godel's incompleteness theorems / Raymond M. Smullyan.
19. - New York : Oxford University Press , 1992. - (Oxford logic guides ; 19)
The monadic second order theory of all countable ordinals / {by} J. Richard BN̄chi {and} Dirk Siefkes.
2. - Berlin : Springer , 1973. - (Decidable theories ; 2). - (Lecture notes in mathematics ; 328)
A method in proofs of undefinability, with applications to functions in the arithmetic of natural numbers
Amsterdam : North-Holland , 1959
Gödel's theorem in focus / edited by S.G. Shanker
hard,pbk.. - London ; New York : Croom Helm , c1988. - (Croom Helm philosophers in focus series)
Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen
Bd. 87. - 2. Aufl.. - Berlin : Springer , 1971. - (Heidelberger Taschenbucher ; Bd. 87)
Bd. 109. - Berlin : Springer , 1961. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd. 109)
Enumerability, decidability, computability; an introduction to the theory of recursive functions / by Hans Hermes. Translated by G.T Herman and O. Plassmann.
Bd.127. - Berlin : Springer , 1965. - (Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berucksichtigung der Anwendungsgegiete ; Bd.127)
Word problems II : the Oxford book / edited by S. I. Adian, W. W. Boone, G. Higman.
v. 95. - Amsterdam : North-Holland , 1980. - New York : Elsevier North-Holland , 1980. - (Studies in logic and the foundations of mathematics ; v. 95)
Word problems; decision problems and the Burnside problem in group theory / Edited by W. W. Boone, F. B. Cannonito {and} R. C. Lyndon.
v. 71. - Amsterdam : North-Holland , {1973}. - (Studies in logic and the foundations of mathematics ; v. 71)