Free to read

Peter Smith

2 free books by Peter Smith.

An Introduction to Formal Logic
2nd edition (corrected), 2020 · 2020 · Read at logicmatters.net ↗
An Introduction to Gödel’s Theorems
2nd edition (2013) · 2013 · Read at logicmatters.net ↗