Gödel's Dialectica interpretation and its two-way stretch (1997)

Cached

Download Links

by Solomon Feferman
Venue:in Computational Logic and Proof Theory (G. Gottlob et al eds.), Lecture Notes in Computer Science 713
Citations:2 - 1 self