Matches in DBpedia 2015-10 for { <http://www.worldscibooks.com/compsci/8215.html> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 8215.html first1 "Ruy J.G.B.".
- 8215.html first2 "Anjolina G.".
- 8215.html first3 "Dov M.".
- 8215.html isCitedBy Curry–Howard_correspondence.
- 8215.html isbn "978-981-4360-95-1".
- 8215.html last1 "de Queiroz".
- 8215.html last2 "de Oliveira".
- 8215.html last3 "Gabbay".
- 8215.html publisher "Imperial College Press/World Scientific".
- 8215.html series "Advances in Logic".
- 8215.html title "The Functional Interpretation of Logical Deduction".
- 8215.html url 8215.html.
- 8215.html volume "5".
- 8215.html year "2011".