Forever undecided : a puzzle guide to Gödel | 三重大学附属図書館 OPAC

Blank Cover Image

タイトル、所在を表示します

Forever undecided : a puzzle guide to Gödel

フォーマット:: 図書
責任表示:: by Raymond Smullyan
言語:: 英語
出版情報:: Oxford [Oxfordshire] ; New York : Oxford University Press, 1988, c1987
形態:: xii, 257 p. ; 20 cm
著者名:: Smullyan, Raymond M., 1919- <DA01209440>
書誌ID:: BA04422641
ISBN:: 9780192821966 [0192821962]

子書誌情報

所蔵情報

Loading availability information

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

詳細

資料形態(詳細):	Text
主題:	Gödel's theorem; Mathematical recreations
LCCN:	88009927
登録日:	2020-07-21
分類・件名:	LCC : QA9.65 DDC : 511.3 NDC7 : 116.3 NDC7 : 410.12 NDC8 : 410.79 LCSH : Gödel's theorem LCSH : Mathematical recreations

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Gödel's incompleteness theorems Smullyan, Raymond M., 1919- Oxford University Press	7 図書 Theory of formal systems Smullyan, Raymond M., 1919- Princeton University Press
2 図書 Satan, Cantor and infinity : and other mind-boggling puzzles Smullyan, Raymond M., 1919- Oxford University Press	8 図書 Diagonalization and self-reference Smullyan, Raymond M., 1919- Clarendon Press
3 図書 What is the name of this book? : The riddle of Dracula and other logical puzzles Smullyan, Raymond M., 1919- Prentice-Hall	9 図書 This book needs no title Smullyan, Raymond M., 1919- Prentice-Hall
4 図書 To mock a mockingbird and other logic puzzles : including an amazing adventure in combinatory logic Smullyan, Raymond M Knopf	10 図書 First-order logic Smullyan, Raymond M., 1919- Springer-Verlag
5 図書 What is the name of this book? : the riddle of Dracula and other logical puzzles Smullyan, Raymond M Simon & Schuster	11 図書 Algorithmic puzzles Levitin, Anany, Levitin, Maria Oxford University Press
6 図書 Recursion theory for metamathematics Smullyan, Raymond M., 1919- Oxford University Press	12 図書 Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel Mostowski, Andrzhei︠a︡ North-Holland Pub. Co.