Andrews, P. B.
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Dordrecht Kluwer Academic Publisher 2002 - xviii, 390p. - Applied Logic Series. 27. .
978-1-402-00763-7
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof - Dordrecht Kluwer Academic Publisher 2002 - xviii, 390p. - Applied Logic Series. 27. .
978-1-402-00763-7