Logic for Everyone: Difference between revisions
Imported from text file |
Imported from text file |
||
| Line 9: | Line 9: | ||
==Links to Purchase Book== | ==Links to Purchase Book== | ||
* [[http://www.serve.com/herrmann/cont1.htm Logic for Everyone]][[Category:Book]] | * [[http://www.serve.com/herrmann/cont1.htm Logic for Everyone]][[Category:Book|logic]] | ||
Latest revision as of 08:41, 2 January 2017
| Author | Robert A Herrmann |
|---|---|
| Published | 1994 |
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.