Title: Truth-functional logic
First published: 1962
Subjects: Symbolic and mathematical Logic, Truth-functions
LC classification: BC171 F3