Description
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, since they are practically unusable in stating long and complicated mathematical proofs. In an intermediate logic course meant primarily for Philosophy Majors, and presupposing nothing beyond elementary symbolic logic, he has used all relevant materials in the text.
