Matches in DBpedia 2016-04 for { <http://www.andrew.cmu.edu/user/avigad/Papers/dialect.pdf> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- dialect.pdf author "Jeremy Avigad and Solomon Feferman".
- dialect.pdf isCitedBy Independence_of_premise.
- dialect.pdf pages "337–405".
- dialect.pdf publisher "in S. Buss ed., The Handbook of Proof Theory, North-Holland".
- dialect.pdf title "Gödel's functional interpretation".
- dialect.pdf url dialect.pdf.
- dialect.pdf year "1999".