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

FlinoviaFlow Induced Noise and Vibration Issues and Aspects-III

$279.99

Erluterungen und Index zur bersichtskarte der Mineral- und Heilquellen in sterreich 1:500.000

$9.99

Manual of Internal Fixation in the Cranio-Facial Skeleton

$79.99

Mathematical Methods in Image Processing and Inverse Problems

$199.99

Cognitive Perspectives on Emotion and Motivation

$259.00

Einfhrung in die Physik der Atome

$69.99

The Languages of Western Tonality

$54.99

Globalisierungsgestaltung und internationale bereinkommen

$24.99

Vibration, Acoustics and Strain Measurement

$109.99

Innovationen in der Gesundheitsversorgung

$64.99

Current Topics in Pathology 58

$109.99

Neurodegenerative Diseases Biomarkers

$219.99

Fuzzy Computational Ontologies in Contexts

$99.00

Agencies in Westeuropa

$69.99

Transformationsprozesse und Stromnetzausbau

$17.99

Nachhaltige Land- und Forstwitschaft

$59.99

Paramagnetic Organometallic Species in Activation/Selectivity, Catalysis

$39.99

A Hardy Companion

$39.99

Progress in Wall Turbulence 2

$109.99

Stealth Democracy in der Schweiz

$44.99

Advances in Cryptology CRYPTO 96

$39.99

New Geometric Data Structures for Collision Detection and Haptics

$39.99

Convolution Copula Econometrics

$59.99

Equity and Inclusion Grades PreK-2 (12 books)

$64.00

Surgery of the Spinal Cord

$39.99

Peptide Hormones in Lung Cancer

$54.99

Helicobacter pylori Infection and Immunity

$129.00

Internet Banking

$44.99

Acoustics of Wood

$379.99

Biomedical Optical Sensors

$169.99

Compiling Parallel Loops for High Performance Computers

$84.99

Integrated Project Management and Control

$59.99

The Theory of the Moir Phenomenon

$159.99

What Has the Black Church to do with Public Life?

$65.00

Nonlinear Stochastic Systems Theory and Applications to Physics

$54.99

Die Modernisierung der Stromversorgung

$74.99

Zahlentheorie

$39.99

Interventionsgerontologie

$84.99

Computer Systems: Architectures, Modeling, and Simulation

$54.99

I Sleep But My Heart is Awake- A Guided Journal for Hearing God Through Your Dreams by Stephanie Schureman

$14.99