Solutions to Selected Exercises in the Logic Book
Publisher: Random House
Published: June 1980
ISBN-13: 9780394325767
First sentence: This is a text in deductive logic-more specifically, in symbolic deductive logic.