Johnsen, E. B. H. Arnold, Logic and Boolean Algebra, Prentice-Hall, Inc., Englewood Cliffs, N. J., 1962. le 1964, 28.