Title: Instructor's manual for The logic book
First published: 1980