Norman L. Geiser and Ronald M. Brooks, Come, Let Us Reason: An Introduction to Logical Thinking: Chapter 6 Chapter 10