Embedding Intuitionistic into Classical Logic.

Alexander Pluska, Florian Zuleger

Browse the full LPAR paper archive.