I Am a Strange Loop
Surfaces and Essences: Analogy as the Fuel and Fire of Thinking
Fluid Concepts and Creative Analogies: Computer Models Of The Fundamental Mechanisms Of Thought
Intuition Pumps And Other Tools for Thinking
Algorithms Illuminated (Part 2): Graph Algorithms and Data Structures
Godel's Proof
Lost in Math: How Beauty Leads Physics Astray
A Mind at Play: How Claude Shannon Invented the Information Age
From Bacteria to Bach and Back: The Evolution of Minds
Reverse Mathematics: Proofs from the Inside Out