Mathematical Logic

Stephen C. Kleene

416 pages, parution le 02/05/2003

Ajouter à une liste

Indisponible

Résumé

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Gödel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Gödel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967.

Contents

Elementary Mathematical Logic

The Propositional Calculus
The Predicate Calculus
The Predicate Calculus with Equality

Mathematical Logic and The Foundations of Mathematics

The Foundations of Mathematics
Computability and Decidability
The Predicate Calculus (additional Topics)

Bibliography
Theorem and Lemma Numbers: Pages
List of Postulates
Symbols and Notations
Index

L'auteur - Stephen C. Kleene

Autres livres de Stephen C. Kleene

Logique mathématique

Découvrir tous les livres de Stephen C. Kleene

Caractéristiques techniques

	PAPIER
Éditeur(s)	Dover
Auteur(s)	Stephen C. Kleene
Parution	02/05/2003
Nb. de pages	416
Format	13,5 x 21,5
Couverture	Broché
Poids	445g
Intérieur	Noir et Blanc
EAN13	9780486425337
ISBN13	978-0-486-42533-7