Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-0-444-52077-7> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- books?vid=ISBN978-0-444-52077-7 first1 "Morten Heine".
- books?vid=ISBN978-0-444-52077-7 first2 "Paweł".
- books?vid=ISBN978-0-444-52077-7 isCitedBy Curry–Howard_correspondence.
- books?vid=ISBN978-0-444-52077-7 isbn "978-0-444-52077-7".
- books?vid=ISBN978-0-444-52077-7 last1 "Sørensen".
- books?vid=ISBN978-0-444-52077-7 last2 "Urzyczyn".
- books?vid=ISBN978-0-444-52077-7 origyear "1998".
- books?vid=ISBN978-0-444-52077-7 publisher Elsevier_Science.
- books?vid=ISBN978-0-444-52077-7 series "Studies in Logic and the Foundations of Mathematics".
- books?vid=ISBN978-0-444-52077-7 title "Lectures on the Curry–Howard isomorphism".
- books?vid=ISBN978-0-444-52077-7 volume "149".
- books?vid=ISBN978-0-444-52077-7 year "2006".