A Concise Introduction to Mathematical Logic
by Wolfgang Rautenberg
Publisher: Springer 2009
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
Formal Logic- Wikibooks
An undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical proofs. The first rules of formal logic were written over 2300 years ago by Aristotle and are still vital.
(14535 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.
(14004 views)
A Friendly Introduction to Mathematical Logicby Christopher C. Leary, Lars Kristiansen - 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.
(8859 views)
The Haskell Road to Logic, Maths and Programmingby Kees Doets, Jan van Eijck - College Publications
The purpose of this book is to teach logic and mathematical reasoning in practice, and to connect logical reasoning with computer programming. The programming language that will be our tool for this is Haskell, a member of the Lisp family.
(19935 views)