Metamagical Themas: Questing For The Essence Of Mind And Pattern

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