Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-0-444-50853-9> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- books?vid=ISBN978-0-444-50853-9 author "Bart Jacobs".
- books?vid=ISBN978-0-444-50853-9 isCitedBy Logical_framework.
- books?vid=ISBN978-0-444-50853-9 isbn "978-0-444-50853-9".
- books?vid=ISBN978-0-444-50853-9 page "598".
- books?vid=ISBN978-0-444-50853-9 publisher "Elsevier".
- books?vid=ISBN978-0-444-50853-9 title "Categorical Logic and Type Theory".
- books?vid=ISBN978-0-444-50853-9 year "2001".