A Translation Characterizing the Constructive Content of Classical Theories.

Matthias Baaz, Christian G. Fermller

Browse the full LPAR paper archive.