4-627-01860-6。美女、野獣その他の論理パズル。4-390-50180-1。<数理を愉しむ>シリーズ〉、2004年2月。4-15-050288-9。<数理を愉しむ>シリーズ〉、2004年3月。4-15-050289-7。阿部剛久ほか訳、森北出版、1998年5月。4-627-01901-7。結合子論理に基づいたパズル。4-8269-0044-9。978-4-8269-0142-0。形式系の決定不能性に基づくパズル。4-8269-0056-2。978-4-8269-0140-6。4-8269-0099-6。978-4-8269-0143-7。978-4-320-01869-3。訳、丸善出版、2013-01。978-4-621-08572-1。訳、丸善出版、2014-11。978-4-621-08785-5。訳、日本評論社、2014-11。978-4-535-78754-4。0671628313未訳。4-621-04053-7。4-06-211963-3。0253215749未訳。9780963923165未訳。069108047X『形式系の理論』、未訳。0486683702『1階の論理』、未訳。4-621-04204-1。それではスマリヤン教授をご紹介しましょう。教授は彼が存在しないか、またはあなたが存在しないことを証明するでしょう。あなたはどっちか知ることはないでしょう。