An introduction to mathematical logic and type theory : to truth through proof
ShareCopied to clipboardAn introduction to mathematical logic and type theory : to truth through proof is a book. It was written by Peter Bruce Andrews and published by : Springer in 2011.
Key facts
- author: Peter Bruce Andrews
- publication date: 2011
- book publisher: : Springer
- book series: Applied logic series, Computer science and applied mathematics
- book subjects: Logic, Symbolic and mathematical, Type theory
See more factsExtract data
Download datasets about An introduction to mathematical logic and type theory : to truth through proof:
Dataset of books series that contain An introduction to mathematical logic and type theory : to truth through proof:
Dataset of book subjects that contain An introduction to mathematical logic and type theory : to truth through proof:
"An introduction to mathematical logic and type theory : to truth through proof" is one of the books by Peter Bruce Andrews, books by : Springer and 2,617,384 books in our database.
This dashboard is based on data from: The British Library.
This content is available under the CC BY 4.0 license.