Truth-functional logic - Faris, John Acheson (Monographs in modern logic, 1962)