G. Kreisel On Weak Completeness of Intuitionistic Predicate Logic. 139-158 1962 27 J. Symb. Log. 2 db/journals/jsyml/jsyml27.html#Kreisel62