This is an elementary book in Mathematical Logic that also covers all of the basic material in the propositional and predicate calculus. It is the result of the U. S. Naval Academy Mathematical Logic Course Project.
Both the propositional and predicate calculus are presented in a unique manner. Enough material is covered so that certain topics in elementary model theory can be included and all mathematical proofs are of the most elementary nature requiring no specialized mathematical procedures. The propositional calculus is expanded considerably and many of the proof methods are used to establish the predicate calculus results. Consequnce operators are also introduced.
This book is written especially for the Midshipmen at the United States Naval Academy. The material itself is considered to be a terminal experience and is directed towards applications which include a very elementary introduction to nonstandard models as they are obtained by means of the "compactness" theorem, and the generation of weak "ultrawords" and an "ultralogic" operator. A complete set of answers for all exercise problems and 6 figures in the form of gif images are included.