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

£135.79

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: 135.79 GBP
Availability: InStock

Mathematical Logic

About as cheap as it gets. The only time it was cheaper was 1 month ago.

£136 today · all-time low £132 (May 2026) · usually £133

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 80 days · 80 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 80 days • 5 price levels

Days at Price

Current Price

Price Analysis

Most common price: £132 (43 days, 53.8%)

Price range: £132 - £142

Price levels: 5 different prices over 80 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)

About as cheap as it gets. The only time it was cheaper was 1 month ago.

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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

Mathematical Logic

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

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results

Éléments de mathématiques pour le XXIe siècle, volume 1: Fondements des mathématiques 1 (logique des propositions et des prédicats, systèmes déductifs ... de Peano, structures algébriques de base)

Mathematical Logic through Python

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

A First Journey through Logic (Student Mathematical Library)

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Strukturtypen der Logik: 3 (Probleme und Resultate der Wissenschaftstheorie und Analytischen Philosophie, 3)

Lectures in Logic and Set Theory: Volume I: Mathematical Logic: 82 (Cambridge Studies in Advanced Mathematics, Series Number 82)

Proceedings of the 7th and 8th Asian Logic Conferences

Oxford Mathematical Logic - Oxford Texts in Logic 3 Book

Mathematical Logic with Special Reference to the Natural Numbers

Topics in Modern Logic: 14 (Routledge Library Editions: Logic)

A Precis of Mathematical Logic: 1 (Synthese Library, 1)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logic and Structure (Universitext)