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

1999-01-01T00:00:00Z (GMT) by Jeremy Avigad Solomon Feferman
Department of Philosophy technical report

Categories

Keyword(s)

License

In Copyright