Matches in DBpedia 2016-04 for { <http://math.stanford.edu/~feferman/papers/dialectica.pdf> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- dialectica.pdf author "Jeremy Avigad and Solomon Feferman".
- dialectica.pdf authors Jeremy_Avigad.
- dialectica.pdf authors Solomon_Feferman.
- dialectica.pdf chapter "VI: Gödel's functional interpretation".
- dialectica.pdf editor S._R._Buss.
- dialectica.pdf isCitedBy Bar_recursion.
- dialectica.pdf isCitedBy Dialectica_interpretation.
- dialectica.pdf isCitedBy Primitive_recursive_functional.
- dialectica.pdf pages "337–405".
- 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 title "Handbook of Proof Theory".
- dialectica.pdf url dialectica.pdf.
- dialectica.pdf year "1999".