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

Cached

Download Links

by Jeremy Avigad , Solomon Feferman
Citations:69 - 13 self