1. Symbolic logic. New York 1952.
2. The system CΔ of combinatory logic
3. A completeness theorem in modal logic
4. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, ed. J. Crossley and M. Dummett, Amsterdam 1965, pp. 92–130.
5. Some theorems about the sentential calculi of Lewis and Heyting