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

5 valoración promedio
( 1 valoraciones por Goodreads )
 
9783540636489: Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Book Description:

This much-needed monograph on the metamathematics of first-order arithmetic pays particular attention to subsystems (fragments) of Peano arithmetic and gives the reader a deeper understanding of the role of the axiom schema of induction and of the phenomenon of incompleteness.

From the Back Cover:

From the reviews: ..."This work is a very important contribution to the logical literature. It gives a survey of an incredible number of results and methods in the foundations of arithmetic, presented in a clear and systematic way. It will certainly be highly appreciated by specialists working in the field." Mathematical Reviews, USA 1994 ..."It is really a highly interesting book - a survey of a large amount of results presented in a systematic and clear way. It will serve as a source of information for those who want to learn meta-mathematics of first-order arithmetic as well as a reference book for people working in this field." Zentralblatt für Mathematik und Ihre Grenzgebiete, 781.1994.

"Sobre este título" puede pertenecer a otra edición de este libro.

Comprar nuevo Ver libro

Gastos de envío: EUR 9,02
De Reino Unido a Estados Unidos de America

Destinos, gastos y plazos de envío

Añadir al carrito

Los mejores resultados en AbeBooks

1.

PETR HAJEK
Editorial: Springer (1998)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Paperback Cantidad: 1
Librería
Herb Tandree Philosophy Books
(Stroud, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer, 1998. Paperback. Estado de conservación: NEW. 9783540636489 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Nº de ref. de la librería HTANDREE0421205

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 75,46
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 9,02
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Hajek, Petr
Editorial: Springer (2016)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9783540636489_lsuk

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 80,22
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,37
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Petr Hajek
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1998)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Books2Anywhere
(Fairford, GLOS, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1998. PAP. Estado de conservación: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería LQ-9783540636489

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 78,21
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 10,14
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Petr Hajek
Editorial: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG (1998)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, 1998. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería IQ-9783540636489

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 90,72
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,38
A Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Petr Hajek; Pavel Pudlak
Editorial: Springer (2013)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Tapa blanda Cantidad: 15
Impresión bajo demanda
Librería
Valoración
[?]

Descripción Springer, 2013. Estado de conservación: New. This item is printed on demand for shipment within 3 working days. Nº de ref. de la librería LP9783540636489

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 101,66
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,99
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Hajek, Petr, Pudlak, Pavel
Editorial: Springer (2017)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Paperback Cantidad: 2
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2017. Paperback. Estado de conservación: New. Never used! This item is printed on demand. Nº de ref. de la librería P11354063648X

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 110,51
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 1,68
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Petr Hajek; Pavel Pudlak
Editorial: Springer (1998)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Paperback Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 1998. Paperback. Estado de conservación: New. book. Nº de ref. de la librería M354063648X

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 117,05
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Petr Hajek
Editorial: Springer
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Paperback Cantidad: > 20
Librería
BuySomeBooks
(Las Vegas, NV, Estados Unidos de America)
Valoración
[?]

Descripción Springer. Paperback. Estado de conservación: New. Paperback. 460 pages. Dimensions: 9.2in. x 6.1in. x 1.2in.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 Gdels 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. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN. Paperback. Nº de ref. de la librería 9783540636489

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 121,15
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Petr Hajek, Pavel Pudlak
Editorial: Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany (1998)
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos Paperback Cantidad: > 20
Impresión bajo demanda
Librería
The Book Depository EURO
(London, Reino Unido)
Valoración
[?]

Descripción Springer-Verlag Berlin and Heidelberg GmbH Co. KG, Germany, 1998. Paperback. Estado de conservación: New. Language: English . Brand New Book ***** Print on Demand *****.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 Godel 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. Softcover reprint of the original 1st ed. 1993. Nº de ref. de la librería AAV9783540636489

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 125,92
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,38
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Hajek, Petr; Pudlak, Pavel
Editorial: Springer
ISBN 10: 354063648X ISBN 13: 9783540636489
Nuevos PAPERBACK Cantidad: > 20
Librería
Russell Books
(Victoria, BC, Canada)
Valoración
[?]

Descripción Springer. PAPERBACK. Estado de conservación: New. 354063648X Special order direct from the distributor. Nº de ref. de la librería ING9783540636489

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 128,28
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 5,92
De Canada a Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda