Introduction to symbolic logic
Carney, James D.(James Donald)
Englewood Cliffs Hemel Hempstead Prentice-Hall
1970
bibl p246-247
Logic, Symbolic and mathematical.