A Concise Introduction To Pure Mathematics Pdf Download

Large book cover: A Concise Introduction to Mathematical Logic

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

Book cover: The Principles Of Mathematics The Principles Of Mathematics
by Bertrand Russell - W. W. Norton & Company
Russell's classic sets forth his landmark thesis that mathematics and logic are identical -- that what is called mathematics is simply later deductions from logical premises. His ideas have had a profound influence on the foundations of mathematics.
(11184 views)

Book cover: Notes on the Science of Logic Notes on the Science of Logic
by Nuel Belnap - 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.
(8937 views)

Book cover: The Art of Logic The Art of Logic
by Nuel Belnap - 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.
(10612 views)

Book cover: A Second Course in Logic A Second Course in Logic
by Christopher Gauker - University of Cincinnati
This book is for anyone who has had a solid introductory logic course and wants more. Topics covered include soundness and completeness for first-order logic, Tarski's theorem on the undefinability of truth, Godel's incompleteness theorems, etc.
(10361 views)