Results
An Introduction to Mathematical Logic and Type Theory
To Truth Through Proof
© 2002
Hard cover - Print (ISBN: 978-1-4020-0763-7)
Soft cover - Print (ISBN: 978-90-481-6079-2)
Electronic (ISBN: 978-94-015-9934-4)
View this book on
SpringerLink
Download Product Archive File - 978-94-015-9934-4