SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Zofia Adamowicz | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



Logic of Mathematics - A Modern Course of Classical Logic
Zofia Adamowicz; Pawel Zbierski
John Wiley & Sons Inc (1997)
Kovakantinen kirja
181,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Model–Theoretic Approach to Proof Theory
Henryk Kotlarski; Zofia Adamowicz (ed.); Teresa Bigorajska (ed.); Konrad Zdanowski (ed.)
Springer (2019)
Kovakantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Model–Theoretic Approach to Proof Theory
Henryk Kotlarski; Zofia Adamowicz (ed.); Teresa Bigorajska (ed.); Konrad Zdanowski (ed.)
Springer (2020)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logic of Mathematics - A Modern Course of Classical Logic
181,20 €
John Wiley & Sons Inc
Sivumäärä: 272 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 1997, 07.04.1997 (lisätietoa)
Kieli: Englanti
A thorough, accessible, and rigorous presentation of the central theorems of mathematical logic . . . ideal for advanced students of mathematics, computer science, and logic

Logic of Mathematics combines a full-scale introductory course in mathematical logic and model theory with a range of specially selected, more advanced theorems. Using a strict mathematical approach, this is the only book available that contains complete and precise proofs of all of these important theorems:
* Gödel's theorems of completeness and incompleteness
* The independence of Goodstein's theorem from Peano arithmetic
* Tarski's theorem on real closed fields
* Matiyasevich's theorem on diophantine formulas

Logic of Mathematics also features:
* Full coverage of model theoretical topics such as definability, compactness, ultraproducts, realization, and omission of types
* Clear, concise explanations of all key concepts, from Boolean algebras to Skolem-Löwenheim constructions and other topics
* Carefully chosen exercises for each chapter, plus helpful solution hints

At last, here is a refreshingly clear, concise, and mathematically rigorous presentation of the basic concepts of mathematical logic-requiring only a standard familiarity with abstract algebra. Employing a strict mathematical approach that emphasizes relational structures over logical language, this carefully organized text is divided into two parts, which explain the essentials of the subject in specific and straightforward terms.

Part I contains a thorough introduction to mathematical logic and model theory-including a full discussion of terms, formulas, and other fundamentals, plus detailed coverage of relational structures and Boolean algebras, Gödel's completeness theorem, models of Peano arithmetic, and much more.

Part II focuses on a number of advanced theorems that are central to the field, such as Gödel's first and second theorems of incompleteness, the independence proof of Goodstein's theorem from Peano arithmetic, Tarski's theorem on real closed fields, and others. No other text contains complete and precise proofs of all of these theorems.

With a solid and comprehensive program of exercises and selected solution hints, Logic of Mathematics is ideal for classroom use-the perfect textbook for advanced students of mathematics, computer science, and logic.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logic of Mathematics - A Modern Course of Classical Logiczoom
Näytä kaikki tuotetiedot
ISBN:
9780471060260
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste