First Course in Mathematical Logic Part 1 begins by employing

Part 1 begins by employing vector methods to explore the classical theory of curves and surfaces

orthogonality

Editor-in-Chief

connects them with modern ideas and explains them in the light of twentieth-century discovery and speculations in physics and philosophy

First Course in Mathematical Logic Part 1 begins by employingIn modern mathematics, both the theory of proof and the derivation of theorems from axioms bear an unquestioned importance. The necessary skills behind these methods, however, are frequently underdeveloped. This book counters that neglect with a rigorous introduction that is simple enough in presentation and context to permit relatively easy comprehension. It comprises the sentential theory of inference, inference with universal quantifiers, and