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

£39.90

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

Name: The Mathematics of Logic: A Guide to Completeness Theorems and their Applications
Brand: Cambridge University Press
Price: 39.9 GBP
Availability: InStock

Mathematical Logic

This is the most expensive it has ever been. Walk away.

£40 today · previous high £40 · all-time low £38

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 51 days • 51 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 51 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £40 (35 days, 68.6%)

Price range: £38 - £40

Price levels: 3 different prices over 51 days

Description

This undergraduate textbook covers the key material for a typical first course in logic, in particular presenting a full mathematical account of the most important result in logic, the Completeness Theorem for first-order logic. Looking at a series of interesting systems, increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum, no background in formal set-theory is required, and the book contains proofs of all the required set theoretical results. The reader is taken on a journey starting with König's Lemma, and progressing via order relations, Zorn's Lemma, Boolean algebras, and propositional logic, to completeness and compactness of first-order logic. As applications of the work on first-order logic, two final chapters provide introductions to model theory and nonstandard analysis.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 052170877X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 12 July 2007
Listed Since: 16 February 2007

Barcode

No barcode data available

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

A Course on Set Theory

LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science (Springer Undergraduate Texts in Philosophy)

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Logical Foundations of Proof Complexity (Perspectives in Logic)

A Course in Mathematical Analysis

Discrete Maths Software Engineers: An Introduction for Software Engineers

Logics for Computer Science: Classical and Non-Classical

Structural Proof Theory

A Model–Theoretic Approach to Proof Theory: 51 (Trends in Logic, 51)

Matroids: A Geometric Introduction

Acceptable Premises: An Epistemic Approach to an Informal Logic Problem

Programming with Higher-Order Logic

Combinatorial Mathematics

Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Elements of Logical Reasoning

Mathematical Methods in Linguistics: 30 (Studies in Linguistics and Philosophy, 30)

A Mathematical Prelude to the Philosophy of Mathematics

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Calculus

Matroids: A Geometric Introduction

Algorithmic Graph Theory

Political Game Theory: An Introduction

The Argument of Mathematics: 30 (Logic, Epistemology, and the Unity of Science, 30)