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

Subject Matter

 * Mathematical Logic
 * Type Theory