1. Jan Łukasiewicz and Alfred Tarski, Untersuchungen über den Aussagenkalkül, Comptes Rendus des Séances de la Société des Sciences et des Lettres de Varsovie. Classe III vol. 23 (1930) pp. 30-50.
2. Introduction to a General Theory of Elementary Propositions;Post, Emil L.;Amer. J. Math.,1921
3. A theorem about infinite-valued sentential logic;McNaughton, Robert;J. Symbolic Logic,1951
4. Studies in Logic and the Foundations of Mathematics;Rosser, J. Barkley,1951
5. D. Hilbert and W. Ackermann, Grundzüge der Theoretischen Logik, 2d ed., Berlin, Springer, 1938.