Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN90-74795-07-2> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- books?vid=ISBN90-74795-07-2 chapter "Equality in Labelled Deductive Systems and the Functional Interpretation of Propositional Equality".
- books?vid=ISBN90-74795-07-2 editor1First "Paul".
- books?vid=ISBN90-74795-07-2 editor1Last "Dekker".
- books?vid=ISBN90-74795-07-2 editor2First "Martin".
- books?vid=ISBN90-74795-07-2 editor2Last "Stokhof".
- books?vid=ISBN90-74795-07-2 first1 "Ruy".
- books?vid=ISBN90-74795-07-2 first2 "Dov".
- books?vid=ISBN90-74795-07-2 isCitedBy Curry–Howard_correspondence.
- books?vid=ISBN90-74795-07-2 isbn "90-74795-07-2".
- books?vid=ISBN90-74795-07-2 last1 "de Queiroz".
- books?vid=ISBN90-74795-07-2 last2 "Gabbay".
- books?vid=ISBN90-74795-07-2 pages "547–565".
- books?vid=ISBN90-74795-07-2 publisher "ILLC/Department of Philosophy, University of Amsterdam".
- books?vid=ISBN90-74795-07-2 title "Proceedings of the Ninth Amsterdam Colloquium".
- books?vid=ISBN90-74795-07-2 year "1994".