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