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}$

Subject Matter

• Mathematical Logic
• Type Theory

Contents

A table of contents is missing for this source work. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding the table of contents. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ContentsWanted}} from the code.

Further Editions

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