Principles of logic - Michalos, Alex C. (Prentice-Hall, 1969)