Book:Peter B. Andrews/An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof/Second Edition
< Book:Peter B. Andrews/An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Jump to navigation
Jump to search
Peter B. Andrews: An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Published $\text {2002}$.
Subject Matter
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) |