Non-Fiction Books:

Logic of Mathematics

Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

Logic of Mathematics by Zofia Adamowicz
$427.99
In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 10-14 days

Availability

Delivering to:

Estimated arrival:

  • Around 3-6 September using standard courier delivery

Description

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: Godel'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-Lowenheim 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, Godel'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 Godel'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.

Author Biography

ZOFIA ADAMOWICZ, PhD, is a professor at the Institute of Mathematics of the Polish Academy of Sciences in Warsaw. PAWEL ZBIERSKI, PhD, is a professor at the Department of Mathematics at Warsaw University and the coauthor of Hausdorff Gaps and Limits.
Release date NZ
April 7th, 1997
Country of Publication
United States
Illustrations
index
Imprint
John Wiley & Sons Inc
Pages
272
Dimensions
164x243x21
ISBN-13
9780471060260
Product ID
3079547

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...

Buy this and earn 1,925 Banana Points