Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-1-4020-0763-7> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- books?vid=ISBN978-1-4020-0763-7 edition "2".
- books?vid=ISBN978-1-4020-0763-7 first "Peter".
- books?vid=ISBN978-1-4020-0763-7 first1 "Peter B.".
- books?vid=ISBN978-1-4020-0763-7 isCitedBy Mathematical_logic.
- books?vid=ISBN978-1-4020-0763-7 isCitedBy Type_theory.
- books?vid=ISBN978-1-4020-0763-7 isbn "978-1-4020-0763-7".
- books?vid=ISBN978-1-4020-0763-7 last "Andrews B.".
- books?vid=ISBN978-1-4020-0763-7 last1 "Andrews".
- books?vid=ISBN978-1-4020-0763-7 location "Boston".
- books?vid=ISBN978-1-4020-0763-7 publisher "Kluwer Academic Publishers".
- books?vid=ISBN978-1-4020-0763-7 publisher "Kluwer Academic Publishers.".
- books?vid=ISBN978-1-4020-0763-7 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, 2nd ed.".
- books?vid=ISBN978-1-4020-0763-7 year "2002".