A Concise Introduction to Mathematical Logic

Wolfgang Rautenberg - Collection Universitext

256 pages, parution le 31/05/2006 (2^eme édition)

Ajouter à une liste

Indisponible

Résumé

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.

Sommaire

Introduction
Notation
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
Hints to the Exercices
Literature
Index of Terms and Names
Index of Symbols

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	Springer
Auteur(s)	Wolfgang Rautenberg
Collection	Universitext
Parution	31/05/2006
Édition	2^eme édition
Nb. de pages	256
Format	15,5 x23,5
Couverture	Broché
Poids	392g
Intérieur	Noir et Blanc
EAN13	9780387302942
ISBN13	978-0-387-30294-2