Cantitate/Preț
Produs

Mathematical Logic (Dover Books on Mathematics)

De (autor) ,
Notă GoodReads:
en Limba Engleză Carte Paperback – December 2002
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. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
Citește tot Restrânge

Din seria Dover Books on Mathematics

Preț: 9282 lei

Preț vechi: 11931 lei
-22%

Puncte Express: 139

Preț estimativ în valută:
1868 20100$ 1677£

Carte disponibilă

Livrare economică 05-19 august
Livrare express 25-27 iulie pentru 4453 lei

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780486425337
ISBN-10: 0486425339
Pagini: 432
Dimensiuni: 140 x 217 x 22 mm
Greutate: 0.44 kg
Ediția: Dover.
Editura: Dover Publications
Seria Dover Books on Mathematics