Gödel's Functional ("Dialectica") Interpretation (1998)
by
Jeremy Avigad
,
Solomon Feferman
| Citations: | 52 - 9 self |







