Logo

A Friendly Introduction to Mathematical Logic

Large book cover: A Friendly Introduction to Mathematical Logic

A Friendly Introduction to Mathematical Logic
by

Publisher: Milne Library Publishing
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.

Home page url

Download or read it online for free here:
Download link
(1.7MB, PDF)

Similar books

Book cover: Symbolic Logic: A Second CourseSymbolic Logic: A Second Course
by - 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.
(13513 views)
Book cover: Topics in Logic and FoundationsTopics in Logic and Foundations
by - 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.
(5009 views)
Book cover: Logic For EveryoneLogic For Everyone
by
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.
(16012 views)
Book cover: Mathematical LogicMathematical Logic
by - 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.
(16169 views)