Introduction to Metamathematics (Bibliotheca Mathematica) - Image 1

£82.29

North Holland Introduction to Metamathematics (Bibliotheca Mathematica)

Name: Introduction to Metamathematics (Bibliotheca Mathematica)
Brand: North Holland
Price: 82.29 GBP
Availability: InStock

Computer Science

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 11 days • 1 price levels

Days at Price

Price Analysis

Most common price: £82 (11 days, 100.0%)

Price range: £82 - £82

Price levels: 1 different prices over 11 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

Brand: North Holland
Format: hardcover
ASIN: 0720421039
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 05 January 1980
Listed Since: 09 December 2006

Barcode

No barcode data available

North Holland Introduction to Metamathematics (Bibliotheca Mathematica)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Logic for Mathematicians

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

Introduction to Mathematical Logic: Extended Edition

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

Mathematical Logic: An Introduction (De Gruyter Textbook)

The Rise of Modern Logic: from Leibniz to Frege,3 (Handbook of the History of Logic): Volume 3

North Holland Philosophy of Mathematics - Handbook of Science

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

Classical and Nonclassical Logics – An Introduction to the Mathematics of Propositions

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

Classical and New Paradigms of Computation and their Complexity Hierarchies: Papers of the conference "Foundations of the Formal Sciences III": 23 (Trends in Logic, 23)

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

Mathematics in Programming

Goedel's Way: Exploits into an undecidable world

Godel's Way: Exploits into an undecidable world

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

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

Springer - A Short Introduction to Intuitionistic Logic Book

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

Mathematical Excursions

Springer Higher-Order Computability Theory and Applications

Higher-Order Computability (Theory and Applications of Computability)

Transition to Advanced Mathematics (Textbooks in Mathematics)

Handbook of Philosophical Logic: Volume 8