Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | Peter B. Andrews | In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introduction to mathematical logic starts with p… | OL19859073W |