Gödel, Escher, Bach: an Eternal Golden Braid

Notes on formal systems in GEB

• Notes on Propositional Calculus
• Notes on Typographical Number Theory

Computer programs

• Program to interpret formulas of Propositional Calculus
• Program to interpret formulas of Typographical Number Theory
• Typogenetics simulator

Other

• Problem solutions
• Miscellaneous comments