Logo

Mathematical Logic by Stephen G. Simpson

Mathematical Logic
by

Publisher: Pennsylvania State University
Number of pages: 128

Description:
This is a course of Mathematical Logic for all mathematics graduate students. The text covers the propositional calculus, the predicate calculus, proof systems for propositional and predicate calculus, extensions of the predicate calculus, theories, definability, interpretability, arithmetization and incompleteness.

Home page url

Download or read it online for free here:
Download link
(700KB, PDF)

Similar books

Book cover: Notes on the Science of LogicNotes on the Science of Logic
by - 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.
(11340 views)
Book cover: The Art of LogicThe Art of Logic
by - University of Pittsburgh
Contents: Grammar; The art of the logic of truth-functional connectives; Quantifier proofs; A modicum of set theory; Symbolizing English quantifiers; Quantifier semantics - interpretation and counterexample; Theories; Definitions.
(13909 views)
Book cover: A Friendly Introduction to Mathematical LogicA Friendly Introduction to Mathematical Logic
by - 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.
(8995 views)
Book cover: An Introduction to Mathematical LogicAn Introduction to Mathematical Logic
by
This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. Fundamentals of model theory and those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated.
(13107 views)