An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series, 27) by Peter B. Andrews

Master mathematical logic and type theory with this comprehensive guide. Designed for students aiming for exam success on their first attempt, this resource provides a clear path to understanding and applying key concepts. Avoid resits and confidently tackle your exams with this invaluable resource.