Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-3-540-77532-4> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- books?vid=ISBN978-3-540-77532-4 author1Link "Ulrich Kohlenbach".
- books?vid=ISBN978-3-540-77532-4 first1 "Ulrich".
- books?vid=ISBN978-3-540-77532-4 isCitedBy Deduction_theorem.
- books?vid=ISBN978-3-540-77532-4 isbn "978-3-540-77532-4".
- books?vid=ISBN978-3-540-77532-4 last1 "Kohlenbach".
- books?vid=ISBN978-3-540-77532-4 location "Berlin, New York".
- books?vid=ISBN978-3-540-77532-4 mr "2445721".
- books?vid=ISBN978-3-540-77532-4 publisher Springer-Verlag.
- books?vid=ISBN978-3-540-77532-4 series "Springer Monographs in Mathematics".
- books?vid=ISBN978-3-540-77532-4 title "Applied proof theory: proof interpretations and their use in mathematics".
- books?vid=ISBN978-3-540-77532-4 year "2008".