Symbolic Logic and Mechanical Theorem Proving

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem...