(en) Emil L. Post, « Introduction to a General Theory of Elementary Propositions », American Journal of Mathematics, vol. 43, no 3, , p. 163–185 (ISSN0002-9327, DOI10.2307/2370324, lire en ligne, consulté le )
(de) Arend Heyting, Die formalen Regeln der intuitionistischen Logik, Deütsche Akademie der Wissenschaften zu Berlin, Mathematisch-Naturwissenschaftliche Klasse, (lire en ligne), p. 42-56
(en) Emil L. Post, « Introduction to a General Theory of Elementary Propositions », American Journal of Mathematics, vol. 43, no 3, , p. 163–185 (ISSN0002-9327, DOI10.2307/2370324, lire en ligne, consulté le )
jstor.org
(en) Emil L. Post, « Introduction to a General Theory of Elementary Propositions », American Journal of Mathematics, vol. 43, no 3, , p. 163–185 (ISSN0002-9327, DOI10.2307/2370324, lire en ligne, consulté le )