Unit 1: Introduction to simple logical systems
| Introduction: A musico-logical offering | ||
| Three-part Invention | Chapter I: The MU puzzle | |
| Two-part Invention | Chapter II: Meaning and form in mathematics | |
|
Unit 2: Completeness and Recursive Procedures |
||
| Sonata for Unaccompanied Achilles | Chapter III: Figure and ground | |
| Contracrostipunctus | Chapter IV: Consistency, completeness, and geometry | |
| Little Harmonic Labyrinth | Chapter V: Recursive structures and processes | |
|
Unit 3: Propositional Calculus and Typographical Number Theory |
||
| Chromatic Fantasy and Feud | Chapter VII: The propositional calculus | |
| Crab Canon | Chapter VIII: Typographical number theory | |
|
Unit 4: Gödel's Incompleteness Theorem |
||
| A Mu Offering | Chapter IX: Mumon and Gödel | |
| Aria with diverse variations | Chapter XIII: BlooP and FlooP and GlooP | |
| Air on G's String | Chapter XIV: On formally undecidable propositions of TNT and related systems | |