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 Gary Hardegree - Mcgraw-Hill College
Contents: Basic Concepts of Logic; Truth-Functional Connectives; Validity in Sentential Logic; Translations in Sentential Logic; Derivations in Sentential Logic; Translations in Monadic Predicate Logic; Translations in Polyadic Predicate Logic; etc.
by Nuel Belnap - University of Pittsburgh
This course assumes you know how to use truth functions and quantifiers as tools. Our task here is to study these very tools. Contents: logic of truth functional connectives; first order logic of extensional predicates, operators, and quantifiers.
by Bertrand Russell - University of Massachusetts Amherst
A very accessible mathematical classic. It sets forth in elementary form the logical definition of number, the analysis of the notion of order, the modern doctrine of the infinite, and the theory of descriptions and classes as symbolic fictions.
by Stephen G. Simpson - Pennsylvania State University
Lecture notes for all mathematics graduate students. The text covers propositional calculus, predicate calculus, proof systems, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.