An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (Applied Logic Series)

Introduction

by Peter B. Andrews

Hardcover

ISBN: 978-1-4020-0763-7

ISBN-10: 1-4020-0763-9

Springer · 2002
See also:
1986PaperbackIntroduction to Mathematical Logic and Type Theory. To Truth Through Proof (Computer Science & Applied Mathematics)