Embedding first order predicate logic in fragments of intuitionistic logic - Löb, Martin H. 1921-2006 (1975)