file.pdf (461.53 kB)

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

Download (461.53 kB)
journal contribution
posted on 01.01.1999 by Jeremy Avigad, Solomon Feferman
Department of Philosophy technical report

Categories

Keyword(s)

History

Publisher Statement

All Rights Reserved

Date

01/01/1999

Exports

Categories

Keyword(s)

Exports