Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts) - Image 1

£133.99

Wiley Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Name: Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)
Brand: Wiley
Price: 141.99 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 76 days • 76 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 76 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £134 (44 days, 57.9%)

Price range: £134 - £142

Price levels: 3 different prices over 76 days

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: * 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.

Key Features

John Wiley & Sons, Inc.

Product Specifications

Brand: Wiley
Format: hardcover
ASIN: 0471060267
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 07 April 1997
Listed Since: 09 February 2007

Barcode

No barcode data available

Wiley Logic of Mathematics: A Modern Course of Classical Logic: 22 (Pure and Applied Mathematics: A Wiley Series of Texts, Monographs and Tracts)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

A First Course in Mathematical Logic and Set Theory

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Mathematical Logic: An Introduction (De Gruyter Textbook)

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

Logic for Applications (Texts in Computer Science)

Introduction to Mathematical Logic: Extended Edition

Logic for Mathematicians

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

An Algebraic Introduction to Mathematical Logic: 22 (Graduate Texts in Mathematics, 22)

Mathematical Logic

A Course in Mathematical Logic for Mathematicians: 53 (Graduate Texts in Mathematics, 53)

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Recursion Theory, Godel's Theorems, Set Theory, Model Theory (Mathematical Logic: A Course With Exercises, Part II)

Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers

A Bridge to Higher Mathematics (Textbooks in Mathematics)

Transition to Advanced Mathematics (Textbooks in Mathematics)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

A Tale Of Discrete Mathematics: A Journey Through Logic, Reasoning, Structures And Graph Theory