Gödel's Functional ("Dialectica") Interpretation
Jeremy Avigad
Solomon Feferman
10.1184/R1/6491921.v1
https://kilthub.cmu.edu/articles/journal_contribution/G_del_s_Functional_Dialectica_Interpretation/6491921
Department of Philosophy technical report
1999-01-01 00:00:00
Philosophy