Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN1-4020-0763-9> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- books?vid=ISBN1-4020-0763-9 edition "2".
- books?vid=ISBN1-4020-0763-9 edition "2.".
- books?vid=ISBN1-4020-0763-9 first "Peter B.".
- books?vid=ISBN1-4020-0763-9 isCitedBy Q_zero.
- books?vid=ISBN1-4020-0763-9 isCitedBy Uniqueness_quantification.
- books?vid=ISBN1-4020-0763-9 isbn "1-4020-0763-9".
- books?vid=ISBN1-4020-0763-9 last "Andrews".
- books?vid=ISBN1-4020-0763-9 location "Dordrecht".
- books?vid=ISBN1-4020-0763-9 location "Dordrecht, The Netherlands".
- books?vid=ISBN1-4020-0763-9 pages "233".
- books?vid=ISBN1-4020-0763-9 publisher Kluwer_Academic_Publishers.
- books?vid=ISBN1-4020-0763-9 publisher "Kluwer Acad. Publ.".
- books?vid=ISBN1-4020-0763-9 title "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof".
- books?vid=ISBN1-4020-0763-9 title "An introduction to mathematical logic and type theory to truth through proof".
- books?vid=ISBN1-4020-0763-9 year "2002".