Book:Peter B. Andrews/An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof/Second Edition

From ProofWiki
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

Further Editions