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. (discuss)

Further Editions

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