Truth-functional logic
Publisher: Free Press of Glencoe
Published: 1962