Title: Deductive Logic; An Introduction to Evaluation Techniques and Logical Theory,
First published: April 1974