Enrichment & Ancillary

• miniKanren.org
• A Profile of Mathematical Logic (A fun, quick-ish read on the story of modern logic)
• The Search for Mathematical Roots, 1870-1940: Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel (A grown-up text on much of the same.)
• Philosophy of Computer Science (Draft text)
• Logicomix (It’s a comic about Russell and early 20th century mathematical logic. ᕕ( ᐛ )ᕗ)
• An Introduction to Non-classical Logic (The conditional beyond the material)
• Logic-Oriented Programming