Introduction to Mathematical Philosophy
by Bertrand Russell
Publisher: University of Massachusetts Amherst 2009
Number of pages: 181
This book is intended for those who have no previous acquaintance with the topics of which it treats, and no more knowledge of mathematics than can be acquired at a primary school. 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.
Home page url
Download or read it online for free here:
by Christopher C. Leary, Lars Kristiansen - Milne Library Publishing
In this book, readers with no previous study in the field are introduced to the basics of model theory, proof theory, and computability theory. The text is designed to be used either in an upper division undergraduate classroom, or for self study.
by Robert A. Herrmann
This is Robert Herrmann's elementary book in mathematical logic that includes all basic material in the predicate and propositional calculus presented in a unique manner. Neither proof requires specialized mathematical procedures.
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.