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