Matches in DBpedia 2015-10 for { <http://math.stanford.edu/~feferman/papers/dialectica.pdf> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- dialectica.pdf author "Jeremy Avigad and Solomon Feferman".
- dialectica.pdf isCitedBy Primitive_recursive_functional.
- dialectica.pdf pages "337–405".
- dialectica.pdf publisher "in S. Buss ed., The Handbook of Proof Theory, North-Holland".
- dialectica.pdf title "Gödel's functional interpretation".
- dialectica.pdf url dialectica.pdf.
- dialectica.pdf year "1999".