An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
by Peter B. Andrews
- Accession Number
- CS427
- Title
- An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
- Author
- Peter B. Andrews
- Year
- 2006
- Subject
- Computer & IT
- ISBN / EISBN
- 120585359
- Medium
- Electronic
- Availability
- yes