"Gödel's Functional ("Dialectica") Interpretation" by Jeremy Avigad and Solomon Feferman

Skip to main content

Department of Philosophy

Authors

Jeremy Avigad, Carnegie Mellon UniversityFollow
Solomon Feferman, Stanford University

Title

Gödel's Functional ("Dialectica") Interpretation

Date of Original Version

1999

Type

Book Chapter

Published In

The Handbook of Proof Theory. Edited by S.R. Buss. North-Holland, 337-405, 1999.

Included in

Philosophy Commons

COinS