Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN0-444-50170-3> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- books?vid=ISBN0-444-50170-3 date "1999".
- books?vid=ISBN0-444-50170-3 first "Bart".
- books?vid=ISBN0-444-50170-3 isCitedBy Categorical_logic.
- books?vid=ISBN0-444-50170-3 isCitedBy Fibred_category.
- books?vid=ISBN0-444-50170-3 isCitedBy Higher-order_logic.
- books?vid=ISBN0-444-50170-3 isCitedBy Type_theory.
- books?vid=ISBN0-444-50170-3 isbn "0-444-50170-3".
- books?vid=ISBN0-444-50170-3 last "Jacobs".
- books?vid=ISBN0-444-50170-3 publisher "North Holland, Elsevier".
- books?vid=ISBN0-444-50170-3 series "Studies in Logic and the Foundations of Mathematics 141".
- books?vid=ISBN0-444-50170-3 title "Categorical Logic and Type Theory".
- books?vid=ISBN0-444-50170-3 url bookinfo.html.
- books?vid=ISBN0-444-50170-3 year "1999".