Matches in DBpedia 2016-04 for { ?s ?p "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof" }
Showing triples 1 to 3 of
3
with 100 triples per page.
- books?vid=ISBN1-4020-0763-9 title "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof".
- books?vid=ISBN978-1-4020-0763-7 title "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof".
- c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db title "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof".