Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-0-486-63462-3> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- books?vid=ISBN978-0-486-63462-3 author1Link "Haskell Curry".
- books?vid=ISBN978-0-486-63462-3 first1 "Haskell Brooks".
- books?vid=ISBN978-0-486-63462-3 isCitedBy Cut-elimination_theorem.
- books?vid=ISBN978-0-486-63462-3 isCitedBy Sequent.
- books?vid=ISBN978-0-486-63462-3 isCitedBy Sequent_calculus.
- books?vid=ISBN978-0-486-63462-3 isbn "978-0-486-63462-3".
- books?vid=ISBN978-0-486-63462-3 last1 "Curry".
- books?vid=ISBN978-0-486-63462-3 location "New York".
- books?vid=ISBN978-0-486-63462-3 origyear "1963".
- books?vid=ISBN978-0-486-63462-3 publisher "Dover Publications Inc.".
- books?vid=ISBN978-0-486-63462-3 ref "harv".
- books?vid=ISBN978-0-486-63462-3 title "Foundations of mathematical logic".
- books?vid=ISBN978-0-486-63462-3 year "1977".