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

Published $\text {2002}$.