Rautenberg A Concise Introduction to Mathematical Logic

2. Auflage 2006
ISBN: 978-0-387-34241-2
Verlag: Springer US
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 278 Seiten, Web PDF

Reihe: Mathematics and Statistics

This book is unique in treating mathematical logic 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, and the author has provided exercises for each chapter, as well as hints to selected exercises. Traditional logic as a part of philosophy is one of the oldest scientific disciplines. Mathematical logic, however, is a relatively young discipline and arose from the endeavors of Peano, Frege, Russell and others to create a logistic foundation for mathematics.

Zielgruppe

Graduate

Autoren/Hrsg.

Rautenberg, Wolfgang

Inhaltsverzeichnis

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.