An Introduction to Mathematical Logic

Small book cover: An Introduction to Mathematical Logic

An Introduction to Mathematical Logic

Number of pages: 229

This text treats pure logic and in this connection introduces to basic proof-theoretic techniques. In the second part fundamentals of model theory and in the third part those of recursion theory are dealt with. Furthermore, some extensions of first order logic are treated. Finally, axiom systems for number theory are introduced and Godel's theorems are proved.

This document is no more available for free.

Similar books

Book cover: Natural TopologyNatural Topology
by - arXiv
We give a theoretical and applicable framework for dealing with real-world phenomena. Joining pointwise and pointfree notions in BISH, natural topology gives a faithful idea of important concepts and results in intuitionism.
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.
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.
Book cover: Logics of Time and ComputationLogics of Time and Computation
by - Center for the Study of Language
Sets out the basic theory of normal modal and temporal propositional logics, applies this theory to logics of discrete, dense, and continuous time, to the temporal logic of henceforth, next, and until, and to the dynamic logic of regular programs.