Logic
Subtitle: Techniques of Formal Reasoning
Publisher: Harcourt, Brace & World
Published: 1964-01-01