£82.29

North Holland Introduction to Metamathematics (Bibliotheca Mathematica)

Price data last checked 125 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

About as cheap as it gets. The only time it was cheaper was 9 months ago.

£82 today · all-time low £82 (Aug 2025) · usually the usual

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

Historical
Generating forecast...
£87.00 £81.49 £82.69 £83.89 £85.10 £86.30 £87.50 10 June 2024 08 November 2024 08 April 2025 06 September 2025 05 February 2026

Price Distribution

Price distribution over 606 days • 6 price levels

Days at Price
Current Price
205 days · current 141 days · current 141 days 92 days 17 days 10 days 0 51 103 154 205 £82 £83 £84 £85 £86 £87 Days at Price

Price Analysis

Most common price: £82 (205 days, 33.8%)

Price range: £82 - £87

Price levels: 6 different prices over 606 days

Description

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Gadel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic, at least a turning point after which nothing was ever the same. Kleene was an important figure in logic, and lived a long full life of scholarship and teaching. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gade1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Gadel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.

Key Features

Used Book in Good Condition

Product Specifications

Format
hardcover
Domain
Amazon UK
Release Date
05 January 1980
Listed Since
09 December 2006

Barcode

No barcode data available

Similar Products You Might Like

Computability: An Introduction to Recursive Function Theory
97% match

Computability: An Introduction to Recursive Function Theory

Cambridge University Press

£50.51 13 Jan 2026
Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)
97% match

Computability Theory: 26 (Chapman Hall/CRC Mathematics Series)

Chapman and Hall/CRC

£85.97 23 Jan 2026
Computability and Logic
97% match

Computability and Logic

Cambridge University Press

£86.79 11 Apr 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£133.00 01 Apr 2026
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
96% match

Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity

CRC Press

£75.35 25 Feb 2026
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
96% match

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

£43.99 24 Feb 2026
Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)
96% match

Kurt Gödel: The Princeton Lectures on Intuitionism (Sources and Studies in the History of Mathematics and Physical Sciences)

Springer

£52.52 24 Jan 2026
Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)
96% match

Classical Recursion Theory, Volume II (Volume 143) (Studies in Logic and the Foundations of Mathematics, Volume 143)

North Holland

£115.00 13 Jan 2026
Logic for Mathematicians
96% match

Logic for Mathematicians

Cambridge University Press

£37.68 12 Dec 2025
Computability
96% match

Computability

Springer

£47.73 20 Feb 2026
Computational Logic: 165 (NATO ASI Subseries F:, 165)
96% match

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

Springer

£111.23 04 Feb 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

Springer

£46.83 10 Apr 2026
Turing Computability: Theory and Applications (Theory and Applications of Computability)
96% match

Turing Computability: Theory and Applications (Theory and Applications of Computability)

Springer

£46.10 25 Feb 2026
Computability Theory: An Introduction to Recursion Theory
96% match

Computability Theory: An Introduction to Recursion Theory

Academic Press

£51.69 16 Feb 2026
Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)
96% match

Effective Mathematics of the Uncountable: 41 (Lecture Notes in Logic, Series Number 41)

Cambridge University Press

£97.46 06 Apr 2026
Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)
96% match

Programs as Diagrams: From Categorical Computability to Computable Categories (Theory and Applications of Computability)

£61.35 14 Jan 2026
Mathematics in Programming
96% match

Mathematics in Programming

Springer

£49.90 15 Feb 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.67 10 Mar 2026
The Foundations of Computability Theory
96% match

The Foundations of Computability Theory

Springer

£45.90 15 Feb 2026
Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)
96% match

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory (Undergraduate Texts in Mathematics)

Springer

£26.22 18 Apr 2026
Constructive Models (Siberian School of Algebra and Logic)
96% match

Constructive Models (Siberian School of Algebra and Logic)

Springer

£146.43 17 Mar 2026
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
96% match

Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Springer

£57.02 08 Mar 2026
A Programming Approach to Computability (Monographs in Computer Science)
96% match

A Programming Approach to Computability (Monographs in Computer Science)

Springer

£52.53 08 Mar 2026
Introduction to the Theory of Computation
96% match

Introduction to the Theory of Computation

Course Technology

£59.08 16 Mar 2026