Embedding first order predicate logic in fragments of intuitionistic logic (0)

by G Longo, E
Venue:J. Symbolic Logic