1. Curry, H.B.: Grundlagen der kombinatorischen Logik. Am. J. Math., 52, 509–536, 789–834 (1930). Inauguraldissertation
2. Notre Dame Mathematical Lectures;H.B. Curry,1950
3. Curry, H.B.: Outlines of a Formalist Philosophy of Mathematics. North-Holland, Amsterdam (1951)
4. Dickson, L.E.: Definitions of a group and of a field by independent postulates. Trans. Am. Math. Soc. 6, 198–204 (1905)
5. Heyting, A.: Die formalen Regeln der intuitionistischen Logic. In: Sitzungsberichte der preussischen Akademie der Wissenschaften, physikalisch-mathematische Klasse, pp. 42–56 (1930)