The Work An introduction to mathematical logic and type theory: to truth through proof The details The Author Peter B. Andrews The offers View on Kindle View paperback on Amazon View hardback on Amazon
