Logic and proof - Bittinger, Marvin L. (Reading, Mass. Addison-Wesley, 1970)
Keywords: Logic -- Programmed instruction