Logic and Proof Techniques

The text contains an introduction to the deductive apparatus of logic without requiring any background in logic, philosophy, or mathematics. The author has placed emphasis on proof techniques which remain usable not only in the fragment of logic in which they can first be introduced, but throughout all extensions of that fragment. He refrained from using trees, tableaux or model-set constructions,...