I Am a Strange Loop I Am a Strange Loop
2007
Surfaces and Essences Surfaces and Essences
2013
Exact Thinking in Demented Times Exact Thinking in Demented Times
2017
Metamagical Themas Metamagical Themas
2008
Gödel's Proof Gödel's Proof
2001
L’io della mente L’io della mente
2021
Surfaces and Essences : Analogy as the Fuel and Fire of Thinking Surfaces and Essences : Analogy as the Fuel and Fire of Thinking
2013
I Am a Strange Loop I Am a Strange Loop
2018