1.

図書
図書
1. Theory of formal systems
by Raymond M. Smullyan
出版情報: Princeton, N.J. : Princeton University Press, 1961
シリーズ名: Annals of mathematics studies ; n. 47
所蔵情報: loading…
2.

図書
図書
2. Forever undecided : a puzzle guide to Gödel
by Raymond Smullyan
出版情報: Oxford [Oxfordshire] ; New York : Oxford University Press, 1988, c1987
所蔵情報: loading…
3.

図書
図書
3. Theory of formal systems. Rev. ed
by Raymond M. Smullyan
出版情報: Princeton, N.J. : Princeton University Press, [preface, 1962]
シリーズ名: Annals of mathematics studies ; no. 47
所蔵情報: loading…
4.

図書
図書
4. First-order logic
Raymond M. Smullyan
出版情報: Berlin : Springer-Verlag, c1968
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 43
所蔵情報: loading…
5.

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

図書
図書
6. タオは笑っている (新装版)
R.M.スマリヤン著 ; 桜内篤子訳
出版情報: 東京 : 工作舎, 1991.9
シリーズ名: Planetary classics
所蔵情報: loading…
7.

図書
図書
7. 無限のパラドックス : パズルで学ぶカントールとゲーデル
レイモンド・スマリヤン著 ; 長尾確訳
出版情報: 東京 : 白揚社, 1994.3
所蔵情報: loading…
8.

図書
図書
8. 決定不能の論理パズル : ゲーデルの定理と様相論理
レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
出版情報: 東京 : 白揚社, 1990.11
所蔵情報: loading…