
A Concise Introduction to Mathematical Logic
Wolfgang Rautenberg(Author)
Springer (Publisher)
2nd Edition
Published on 1. March 2006
Book
Paperback/Softback
XVIII, 256 pages
978-0-387-30294-2 (ISBN)
Article exhausted; check for reprint
Description
While there are already several well known textbooks on mathematical logic this book is unique in treating the material in a concise and streamlined fashion. This allows many important topics to be covered in a one semester course. Although the book is intended for use as a graduate text the first three chapters can be understood by undergraduates interested in mathematical logic. The remaining chapters contain material on logic programming for computer scientists, model theory, recursion theory, Godel's Incompleteness Theorems, and applications of mathematical logic. Philosophical and foundational problems of mathematics are discussed throughout the text.
More details
Series
Edition
2nd ed.
Language
English
Place of publication
NY
United States
Target group
College/higher education
Advanced undergraduate and graduate students of mathematics and computer science
Edition type
Revised edition
Illustrations
8
4 s/w Tabellen, 8 s/w Abbildungen
8 black & white illustrations, 4 black & white tables, 8 black & white line drawings
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
427 gr
ISBN-13
978-0-387-30294-2 (9780387302942)
DOI
10.1007/0-387-34241-9
Schweitzer Classification
Other editions
New editions

Wolfgang Rautenberg
A Concise Introduction to Mathematical Logic
Book
12/2009
3rd Edition
Springer
€85.59
Shipment within 15-20 days
Additional editions

Wolfgang Rautenberg
A Concise Introduction to Mathematical Logic
E-Book
09/2006
2nd Edition
Springer
€44.99
Available for download
Content
Propositional Logic.- Predicate Logic.- Gödel's Completeness Theorem.- The Foundations of Logic Programming.- Elements of Model Theory.- Incompleteness and Undecidability.- On the Theory of Self-Reference.