Logic for Everyone
|Author||Robert A Herrmann|
As far as I can tell, this is the most elementary book in Mathematical Logic available that also covers all of the basic material in the propositional and predicate calculus. This is the book written especially for the Midshipmen at the United States Naval Academy with the general view that it is a terminal course. 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. Applications 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.