1. W. Ackermann: Solvable Cases of the Decision Problem. Amsterdam: North-Holland 1954
2. G. Birkhoff: Lattice Theory. Providence (Rh. I.): Americ. Math. Soc. 1967
3. W. D. Brainerd and L. H. Landweber: Theory of Computation. New York: John Wiley 1974
4. J. M. Bocheński: Formale Logik. Freiburg, München: K. Alber, 2. Aufl. 1962
5. M. Cantor: Vorlesungen über Geschichte der Mathematik (4 Bde). Band 3: 1907 ( Nachdruck New York: Johnson Reprint Corp. 1965 )