Logic Matters
An Introduction to Formal Logic
Gödel Without (Too Many) Tears
Introducing Category Theory
Beginning Mathematical Logic: A Study Guide
Volver arriba