Logic for Everyone: Difference between revisions
Imported from text file |
Add auto-generated placeholder cover + Category:Book with placeholder cover |
||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
{{Infobox book | {{Infobox book | ||
| image = Logic for Everyone placeholder cover.jpg | |||
| alt = Logic for Everyone (placeholder cover) | |||
| name = Logic for Everyone | | name = Logic for Everyone | ||
| author = [[Robert A Herrmann]] | | author = [[Robert A Herrmann]] | ||
| Line 9: | Line 11: | ||
==Links to Purchase Book== | ==Links to Purchase Book== | ||
* | * [http://www.serve.com/herrmann/cont1.htm Logic for Everyone][[Category:Book with placeholder cover]] | ||
[[Category:Book|logic]] | |||
Latest revision as of 09:54, 19 July 2026
 | |
| 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.