Proof Theory: Second Edition (Dover Books on Mathematics)

4,5 valoración promedio
( 2 valoraciones por Goodreads )
 
9780486490731: Proof Theory: Second Edition (Dover Books on Mathematics)

Focusing on Gentzen-type proof theory, this volume presents a detailed overview of creative works by author Gaisi Takeuti and other twentieth-century logicians. The text explores applications of proof theory to logic as well as other areas of mathematics. Suitable for advanced undergraduates and graduate students of mathematics, this long-out-of-print monograph forms a cornerstone for any library in mathematical logic and related topics.
The three-part treatment begins with an exploration of first order systems, including a treatment of predicate calculus involving Gentzen's cut-elimination theorem and the theory of natural numbers in terms of Gödel's incompleteness theorem and Gentzen's consistency proof. The second part, which considers second order and finite order systems, covers simple type theory and infinitary logic. The final chapters address consistency problems with an examination of consistency proofs and their applications.

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

Los mejores resultados en AbeBooks

1.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Cantidad: > 20
Librería
Paperbackshop-US
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 2013. PAP. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería V0-9780486490731

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

Comprar nuevo
EUR 10,89
Convertir moneda

Añadir al carrito

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

2.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Cantidad: 2
Librería
GreatBookPrices
(Columbia, MD, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Nº de ref. de la librería 18621841-n

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

Comprar nuevo
EUR 12,07
Convertir moneda

Añadir al carrito

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

3.

Gaisi Takeuti
Editorial: Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Paperback Cantidad: 1
Librería
The Book Depository US
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2013. Paperback. Estado de conservación: New. 2nd ed.. Language: English . Brand New Book. This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. Nº de ref. de la librería AA99780486490731

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

Comprar nuevo
EUR 14,89
Convertir moneda

Añadir al carrito

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

4.

Takeuti, Gaisi
Editorial: Dover Publishers
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Cantidad: > 20
Librería
INDOO
(Avenel, NJ, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publishers. Estado de conservación: New. Brand New. Nº de ref. de la librería 0486490734

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

Comprar nuevo
EUR 12,45
Convertir moneda

Añadir al carrito

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

5.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Cantidad: 3
Librería
Pbshop
(Wood Dale, IL, Estados Unidos de America)
Valoración
[?]

Descripción 2013. PAP. Estado de conservación: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Nº de ref. de la librería IB-9780486490731

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

Comprar nuevo
EUR 12,89
Convertir moneda

Añadir al carrito

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

6.

Takeuti, Gaisi
Editorial: Dover Publications
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos PAPERBACK Cantidad: > 20
Librería
Mediaoutlet12345
(Springfield, VA, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications. PAPERBACK. Estado de conservación: New. 0486490734 *BRAND NEW* Ships Same Day or Next!. Nº de ref. de la librería NATARAJB1FI1001063

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

Comprar nuevo
EUR 13,54
Convertir moneda

Añadir al carrito

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

7.

Gaisi Takeuti
Editorial: Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Paperback Cantidad: 1
Librería
The Book Depository
(London, Reino Unido)
Valoración
[?]

Descripción Dover Publications Inc., United States, 2013. Paperback. Estado de conservación: New. 2nd ed.. Language: English . Brand New Book. This comprehensive monograph presents a detailed overview of creative works by the author and other 20th-century logicians that includes applications of proof theory to logic as well as other areas of mathematics. Nº de ref. de la librería AA99780486490731

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

Comprar nuevo
EUR 17,62
Convertir moneda

Añadir al carrito

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

8.

Takeuti, Gaisi
Editorial: Dover Publications (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Paperback Cantidad: 1
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications, 2013. Paperback. Estado de conservación: New. Nº de ref. de la librería 0486490734

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

Comprar nuevo
EUR 15,67
Convertir moneda

Añadir al carrito

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

9.

Takeuti, Gaisi
Editorial: Dover Publications
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos PAPERBACK Cantidad: 1
Librería
Booklot COM LLC
(Philadelphia, PA, Estados Unidos de America)
Valoración
[?]

Descripción Dover Publications. PAPERBACK. Estado de conservación: New. 0486490734. Nº de ref. de la librería Z0486490734ZN

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

Comprar nuevo
EUR 18,97
Convertir moneda

Añadir al carrito

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

10.

Takeuti, Gaisi
Editorial: Dover Publications Inc. (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuevos Tapa blanda Cantidad: 5
Librería
Valoración
[?]

Descripción Dover Publications Inc., 2013. Estado de conservación: New. Series: Dover Books on Mathematics. Num Pages: 384 pages. BIC Classification: PBCD. Category: (G) General (US: Trade). Dimension: 229 x 152 x 26. Weight in Grams: 622. . 2013. Second Edition. Paperback. . . . . . Nº de ref. de la librería V9780486490731

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

Comprar nuevo
EUR 19,42
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De Irlanda 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