Mathematical logic

Joseph R. Shoenfield

352 pages, parution le 01/01/2001 (2^eme édition)

Ajouter à une liste

En réimpression

Résumé

This classic introduction to the main areas of mathematical logic provides the basis for a first graduate course in the subject. It embodies the viewpoint that mathematical logic is not a collection of vaguely related results, but a coherent method of attacking some of the most interesting problems which face the mathematician. The author presents the basic concepts in an unusually clear and accessible fashion. He concentrates on what he views as the central topics of mathematical logic: proof theory, model theory, recursion theory, axiomatic number theory, and set theory. There are many exercises, and they provide the outline of what amounts to a second book that goes into all topics in more depth. This book has played a role in the education of many mature and accomplished researchers. Contents

The Nature of Mathematical Logic
First-Order Theories
Theorems in First-Order Theories
The Characterization Problem
The Theory of Models
Incompleteness and Undecidability
Recursion Theory
The Natural Numbers
Set Theory

Caractéristiques techniques

	PAPIER
Éditeur(s)	AK Peters
Auteur(s)	Joseph R. Shoenfield
Parution	01/01/2001
Édition	2^eme édition
Nb. de pages	352
Format	16,5 x 23,5
Couverture	Broché
Poids	540g
Intérieur	Noir et Blanc
EAN13	9781568811352
ISBN13	978-1-56881-135-2