CURRENTLY SOLD OUT

Proof, Logic and Formalization by Michael Detlefsen (Paperback, 2015)