An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - by Peter B. Andrewsisbn: 9781402007637 (0 votes)0 Comments This book has been recommended for : Mathematical logicType theoryType theoryMathematical logic and Foundations of mathematicsWhere to get it ?