1. Propositional calculus and realizability
2. Zum iniuitionistischen Aussagenkalkül;Gödel;Ergebnisse eines mathematischen Kolloquiums,1933
3. Recherches sur le système de la logique intuitioniste;Jaśkowski;Actes du Congrès International de Philosophie Scientifique, VI Philosophie des mathématiques,1936