Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN978-94-007-1735-0> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- books?vid=ISBN978-94-007-1735-0 first "J. G.".
- books?vid=ISBN978-94-007-1735-0 isCitedBy Total_functional_programming.
- books?vid=ISBN978-94-007-1735-0 isbn "978-94-007-1735-0".
- books?vid=ISBN978-94-007-1735-0 last "Granström".
- books?vid=ISBN978-94-007-1735-0 series "Logic, Epistemology, and the Unity of Science".
- books?vid=ISBN978-94-007-1735-0 title "Treatise on Intuitionistic Type Theory".
- books?vid=ISBN978-94-007-1735-0 url "http://www.springer.com/philosophy/book/978-94-007-1735-0".
- books?vid=ISBN978-94-007-1735-0 volume "7".
- books?vid=ISBN978-94-007-1735-0 year "2011".