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