Logo

A Concise Introduction to Mathematical Logic

Large book cover: A Concise Introduction to Mathematical Logic

A Concise Introduction to Mathematical Logic
by

Publisher: Springer
ISBN/ASIN: 1441912207
ISBN-13: 9781441912206
Number of pages: 131

Description:
The textbook by Professor Wolfgang Rautenberg is a well-written introduction to the beautiful and coherent subject of mathematical logic. It contains classical material such as logical calculi, beginnings of model theory, and Goedel's incompleteness theorems, as well as some topics motivated by applications, such as a chapter on logic programming.

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

Similar books

Book cover: A Manual of Intensional LogicA Manual of Intensional Logic
by - CSLI
An examination of the role of partial information - with illustrations drawn from different branches of Intensional Logic - and various influences stemming from current theories of the semantics of natural language, involving generalized quantifiers.
(6457 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.
(7732 views)
Book cover: Introduction to Mathematical Logic: A problem solving courseIntroduction to Mathematical Logic: A problem solving course
by - 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.
(8784 views)
Book cover: Introduction to Mathematical PhilosophyIntroduction to Mathematical Philosophy
by - 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.
(9892 views)