Proof, Logic and Formalization More Books by Michael Detlefsen

Logic from A to Z

2013

Proof and Knowledge in Mathematics

2005