Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Metamathematics of First-Order Arithmetic

Name: Metamathematics of First-Order Arithmetic
Brand: Springer, Berlin
SKU: 06809734
Price: 132.29 EUR
Availability: InStock
Author: Petr Hájek
ISBN: 9783540636489

Petr Hájek

Pavel Pudlak

Language

English

Book Paperback

Libristo code: 06809734

Publishers Springer, Berlin, March 1998

People have always been interested in numbers, in particular the natural numbers. Of course, we all... Full description

Libristo code: 06809734

324 b

132.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Tokyo revengers Ken Wakui

Paperback

7.09 €

Aventura en el Ártico Peter Freuchen

Paperback

28.79 €

Formen internationaler Beziehungen in der Frühen Neuzeit. Sven Externbrink

Paperback

109.90 €

Таро Уэйта. Большая винтажная колода Лиза Валетти

Paperback

37.79 €

Nejžhavější sen pod Sluncem Věra Krajčová

Sheet

18.19 €

Jak chráníme ohrožené druhy - Od záchrany ZOO Tábor k pomoci zvířatům v nouzi Evžen Korec

Hardback

8.99 €

Esquisse de la Geographie Et de la Geologie Des Montagnes de l'Himalaya Et Du Thibet Burrard-S

Paperback

12.89 €

Insight Second Edition. Advanced. Student Book + ebook. Oxford praca zbiorowa

Paperback

31.49 €

Knihy kacířů se mají číst Jan Hus

Paperback

4.89 €

John Lee Hooker - Boogie-Woogie Anyhow Olivier RENAULT

Paperback

26.09 €

Sans Bilekligi Cathy Lamb

Paperback

14.29 €

Holly Holmes und das magische Detektivbüro - Erster Fall: Der Jadedrache Helge Vogt

Hardback

12.00 €

Viva El Espanol!: Adelante!, Student Textbook Mcgraw-Hill Education

Hardback

126.59 €

Playmobil - Le Tour du Monde Unglik

Hardback

24.09 €

Aufgang Jose Sanchez De Murillo (Herausgeber)

Paperback

20.00 €

Cours d'Histoire Et de Geographie Coloniales de la France, (Ed.1887) H Flassayer

Paperback

22.59 €

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.