Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Metamathematics of First-Order Arithmetic

Metamathematics of First-Order Arithmetic

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540636489
Condition
New
Product 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 Gdel'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.

Available Colors
Available Sizes
1 Offer Price Range: $139.99 - $139.99
BEST PRICE

Single Product Purchase

$139.99
@ Link.springer.com     BUY Now

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
Contact Store Call Store Contact Support
$139.99 $139.99

$139.99
See Site In stock Visit Store

Similar Products

Praying and Campaigning with Environmental Christians

$109.99

Colloquium De Giorgi 2007 and 2008

$29.95

Die Klinische Rntgendiagnostik der Inneren Erkrankungen

$59.99

Intersectional Perspectives on LGBTQ+ Issues in Modern Language Teaching and Learning

$149.00

The Mystery of the Seven Spheres

$32.99

Corporate Environmentalism in China and Taiwan

$109.99

Mediendidaktik

$59.99

Procyclicality of Financial Systems in Asia

$109.99

Brgerliches Recht fr Wirtschaftswissenschaftler

$69.99

Macroeconomic Survey Expectations

$79.99

Eine Entdeckungsreise in die Welt des Unendlichen

$29.99

Rheinisch-Westflische Akademie der Wissenschaften

$69.99

Kontinuum der Zeichen

$29.99

Risikokapital ber die Brse

$59.99

The Thwarting of Laplace's Demon

$74.99

Search for Higgs Boson Decays to Charm Quarks with the ATLAS Experiment and Development of Novel Sil

$199.99

Prefaces and Introductions

$129.00

Design Methodologies for VLSI Circuits

$219.99

Advances in Systems Science

$169.99

Wirtschaft und Sprache

$64.99

The Art of Mathematics

$54.99

Advanced Transact-SQL for SQL Server 2000

$59.99

Das neue Hardselling

$44.99

Kunstvermittlung 2.0: Neue Medien und ihre Potenziale

$69.99

Intelligent Quality Assessment of Railway Switches and Crossings

$199.99

Maximum Entropy, Information Without Probability and Complex Fractals

$109.99

Thermosbau

$59.99

Lung Cancer

$2.33

Erfolgreiche Zusammenarbeit in Projektteams

$39.99

Clinical Problems in Sexually Transmitted Diseases

$219.99

Deutsche Syntax

$29.99

Teaching Writing Through Differentiated Instruction With Leveled Graphic Organizers

$13.49

Regulating Deep Sea Mining

$54.99

Transitional Justice in Ghana

$109.99

Judicial Practice, Customary International Criminal Law and Nullum Crimen Sine Lege

$139.99

Bildkommunikation als Erfolgsfaktor bei Markenerweiterungen

$74.99

Ethical Banking

$39.99

Model and Data Engineering

$54.99

Robotics Research

$329.99

Musculoskeletal Research and Basic Science

$219.99