A Friendly Introduction to Mathematical Logic
by Christopher C. Leary, Lars Kristiansen
Publisher: Milne Library Publishing 2015
ISBN-13: 9781942341079
Number of pages: 380
Description:
At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical thinking. In this edition, 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.
Download or read it online for free here:
Download link
(1.7MB, PDF)
Similar books
Topics in Logic and Foundationsby Stephen G. Simpson - The Pennsylvania State University
This is a set of lecture notes from a 15-week graduate course at the Pennsylvania State University. The course covered some topics which are important in contemporary mathematical logic and foundations but usually omitted from introductory courses.
(1510 views)
Symbolic Logic: A Second Courseby Gary Hardegree - UMass Amherst
Contents: Summary; Translations in Function Logic; Derivations in Function Logic; Translations in Identity Logic; Extra Material on Identity Logic; Derivations in Identity Logic; Translations in Description Logic; Derivations in Description Logic.
(9117 views)
Introduction to Mathematical Philosophyby 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.
(11182 views)
Introduction to Mathematical Logic: A problem solving courseby 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.
(10150 views)