Truth-functional logic - Faris, J. A. (Monographs in modern logic, 1962)