# Book:Peter B. Andrews/An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof/Second Edition

## Peter B. Andrews: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof

Published $\text {2002}$.