Logic For Everyone
by Robert A. Herrmann
Number of pages: 124
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.
Home page url
Download or read it online for free here:
by Louis Couturat - Project Gutenberg
Mathematical Logic is a necessary preliminary to logical Mathematics. The present work is concerned with the 'calculus ratiocinator' aspect, and shows, in an admirably succinct form, the beauty of the calculus of logic regarded as an algebra.
by Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
by Arnold W. Miller - arXiv
This is a set of questions written for a course in Mathematical Logic. Topics covered are: propositional logic; axioms of ZFC; wellorderings and equivalents of AC; ordinal and cardinal arithmetic; first order logic, and the compactness theorem; etc.
by Frank Waaldijk - arXiv
We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.