不完全性定理をめぐる本、数冊 [本]

新刊とか、日本では持ってるんだけどこっちには持ってこなかった本とか。

There's Something About Gdel: The Complete Guide to the Incompleteness Theorem Francesco Berto (Wiley-Blackwell, 2009)

Aspects of Incompleteness (Lecture Notes in Logic, 10) Per Lindstrom (A K Peters Ltd, 2003)

Inexhaustibility: A Non-Exhaustive Treatment (Lecture Notes in Logic, 16) Torkel Franzen (A K Peters Ltd, 2002)

1冊目は、買った。2冊目と3冊目は、日本で持ってるので、図書館で借り。そして、この「買った／借りた」分断線は、その内容をも区分するもので、1冊目はけっこう軽く読め、2冊目と3冊目はちゃんと読むのはなかなか大変。