Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic) - Image 1

£96.28

Springer Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

Name: Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
Brand: Springer
Price: 96.28 GBP
Availability: InStock

Computer Science

This is the usual price. Wait for it to drop, or tell us your number.

£96 today · usual range £0–£0 · best ever £86

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

Historical

Generating forecast...

Price Distribution

Price distribution over 611 days • 5 price ranges

Days at Price

Current Price

Price Analysis

Most common range: £86-91 (367 days, 60.1%)

Price range: £86 - £110

Price levels: 5 price ranges over 611 days

Description

People have always been interested in numbers, in particular the natural numbers. Of course, we all have an intuitive notion of what these numbers are. In the late 19th century mathematicians, such as Grassmann, Frege and Dedekind, gave definitions for these familiar objects. Since then the development of axiomatic schemes for arithmetic have played a fundamental role in a logical understanding of mathematics. There has been a need for some time for a monograph on the metamathematics of first-order arithmetic. The aim of the book by Hajek and Pudlak is to cover some of the most important results in the study of a first order theory of the natural numbers, called Peano arithmetic and its fragments (subtheories). The field is quite active, but only a small part of the results has been covered in monographs. This book is divided into three parts. In Part A, the authors develop parts of mathematics and logic in various fragments. Part B is devoted to incompleteness. Part C studies systems that have the induction schema restricted to bounded formulas (Bounded Arithmetic). One highlight of this section is the relation of provability to computational complexity. The study of formal systems for arithmetic is a prerequisite for understanding results such as Gödel's theorems. This book is intended for those who want to learn more about such systems and who want to follow current research in the field. The book contains a bibliography of approximately 1000 items.

Product Specifications

Brand: Springer
Format: Paperback
ASIN: 354063648X
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Publication Date: 17 March 1998
Listed Since: 10 December 2006

Barcode

No barcode data available

Springer Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

This is the usual price. Wait for it to drop, or tell us your number.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Models of Peano Arithmetic: 15 (Oxford Logic Guides)

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

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

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

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

Logic for Mathematicians

Functional Interpretations: From the Dialectica Interpretation to Functional Interpretations of Analysis and Set Theory

Automated Development of Fundamental Mathematical Theories: 2 (Automated Reasoning Series, 2)

É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 OTIL PAPER: 3 (Oxford Texts in Logic)

Proof Theory: 225 (Grundlehren der mathematischen Wissenschaften, 225)

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

Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland

A First Course in Mathematical Logic and Set Theory

A Formalization of Set Theory without Variables (Colloquium Publications)

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

Logic and Structure (Universitext)

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

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

A Modern Perspective on Type Theory: From its Origins until Today: 29 (Applied Logic Series, 29)

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

Mathematical Logic and Model Theory: A Brief Introduction: 0 (Universitext)

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

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