Mathematical Logic, Paperback/Stephen Cole Kleene

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel’s completeness theorem, Gentzen’s theorem, Skolem’s paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.

SKU: 66057438-3b37-41ce-bc96-461269da8fb3 Categorii: , , Etichete: ,

Descriere

Mathematical Logic, Paperback/Stephen Cole Kleene

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules. The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel’s completeness theorem, Gentzen’s theorem, Skolem’s paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.

Online Mathematical Logic, Paperback/Stephen Cole Kleene aici

Plata produse

Plata online cu cardul sau la destinație ramburs in funcție de produs.

Plata cu cardul de credit

Plata la livrare

Rambursul la curier se plătește în cash (exclusiv în RON) la livrarea coletului.

Livrare în toată Romania la domiciliu sau oriunde ai nevoie.

 

Retur Mathematical Logic, Paperback/Stephen Cole Kleene

Drept de retur in conformitate cu art.9 alin.1 din Ordonanță nr.34/2014 privind drepturile consumatorilor

Declinare de responsabilitate

acest site nu poate garanta exactitatea completă a informațiilor afișate pe acest site și nici furnizarea în totalitate a informațiilor de către comercianți. Drept urmare, datorită naturii activităților acestui site ca fiind un promotor al unor firme terțe, în cazul unor discrepanțe între informațiile afișate pe site-ul sau anunțurile acestui site și cele afișate pe site-ul comerciantului, acesta din urmă va predomina. Autorizațiile legale pentru comercializare, originalitatea produselor cât și alte demersuri legale necesare pentru comercializare revin exclusiv în sarcina comerciantului. Prețurile afișate includ toate taxele, preț inclusiv TVA.

Informații suplimentare

Brand