Home > Dietrich College > Philosophy > 54
Jeremy Avigad, Carnegie Mellon UniversityFollow Solomon Feferman, Stanford University
Gödel's Functional ("Dialectica") Interpretation
1999
Book Chapter
The Handbook of Proof Theory. Edited by S.R. Buss. North-Holland, 337-405, 1999.
Philosophy Commons
Follow