Title: Truth-functional logic
First published: 1962
Subjects: Truth-functions