£37.68

Cambridge University Press Logic for Mathematicians

Name: Logic for Mathematicians
Brand: Cambridge University Press
Price: 37.68 GBP
Availability: InStock

Other

Combinatorics & Graph Theory

It has never been this cheap. We have no record of a lower price.

£38 today · cheaper than every other day in the last 24 months

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

Historical

Generating forecast...

Price Distribution

Price distribution over 552 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £45-49 (299 days, 54.2%)

Price range: £38 - £57

Price levels: 5 price ranges over 552 days

Description

Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first year undergraduate mathematics course, to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, an attempt has been made to place it in the context of mathematics and to emphasise the relevance of logic to the mathematician. Starting at an elementart level, the text progresses from informal discussion to the precise description and use of formal mathematical and logical systems. The early chapters cover propositional and predicate calculus. The later chapters deal with Gödel's theorem on the incompleteness of arithmetic and with various undecidability and unsolvability results, including a discussion of Turing machines and abstract computability. Each section ends with exercises designed to clarify and consolidate the material in that section. Hints or solutions to many of these are provided at the end of the book. The revision of this very successful textbook includes new sections on Skolemisation and applying well-formed formulas to logic programming. Some corrections have been made and extra exercises added.

Key Features

Used Book in Good Condition

Product Specifications

Brand: Cambridge University Press
Colour: Other
Format: paperback
ASIN: 0521368650
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Combinatorics & Graph Theory
Domain: Amazon UK
Release Date: 29 September 1988
Listed Since: 04 January 2007

Barcode

No barcode data available

Cambridge University Press Logic for Mathematicians

It has never been this cheap. We have no record of a lower price.

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 through Python

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

Logic and Structure (Universitext)

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

Introduction to Mathematical Logic (Discrete Mathematics and Its Applications)

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

Mathematical Logic: An Introduction (De Gruyter Textbook)

Logic for Applications (Texts in Computer Science)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Gödel's Incompleteness Theorems: 19 (Oxford Logic Guides)

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

Mathematical Logic and Computation

Computational Logic: 165 (NATO ASI Subseries F:, 165)

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

Gödel's Incompleteness Theorems: A Guided Tour Through Kurt Gödel’s Historic Proof

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

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

Logic for Computer Science and Artificial Intelligence

Modern Mathematical Logic (Cambridge Mathematical Textbooks)

Fundamentals of Mathematical Logic

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

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

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