Andrews, Peter B. profile picture

Andrews, Peter B.

Is this your author profile? Create an account to claim and customize it!

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Introduction to Mathematical Logic and Type Theory. To Truth Through Proof (Computer Science & Applied Mathematics)