Proof Theory: Second Edition (Dover Books on Mathematics)

Note moyenne 4,5
( 2 avis fournis par 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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Meilleurs résultats de recherche sur AbeBooks

1.

Gaisi Takeuti
Edité par Dover Publications Inc., United States (2013)
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Paperback Quantité : 10
Vendeur
The Book Depository US
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Dover Publications Inc., United States, 2013. Paperback. État : 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 réf. du libraire AA99780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 14,82
Autre devise

Ajouter au panier

Frais de port : EUR 1,34
De Royaume-Uni vers France
Destinations, frais et délais

2.

Gaisi Takeuti
Edité par Dover Publications Inc., United States (2013)
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Paperback Quantité : 10
Vendeur
The Book Depository
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Dover Publications Inc., United States, 2013. Paperback. État : New. 2nd. 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 réf. du libraire AA99780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 14,83
Autre devise

Ajouter au panier

Frais de port : EUR 1,34
De Royaume-Uni vers France
Destinations, frais et délais

3.

Takeuti, Gaisi
Edité par Dover Publications Inc. (2013)
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Couverture souple Quantité : 5
Evaluation vendeur
[?]

Description du livre Dover Publications Inc., 2013. État : 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 réf. du libraire V9780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 19,59
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Irlande vers France
Destinations, frais et délais

4.

Takeuti, Gaisi
Edité par Dover Publications Inc.
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Couverture souple Quantité : 5
Vendeur
Kennys Bookstore
(Olney, MD, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Dover Publications Inc. État : 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. . . . . Books ship from the US and Ireland. N° de réf. du libraire V9780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 20,20
Autre devise

Ajouter au panier

Frais de port : Gratuit
De Etats-Unis vers France
Destinations, frais et délais

5.

Gaisi Takeuti
Edité par Dover Publications Inc., United States (2013)
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Paperback Quantité : 10
Vendeur
Book Depository hard to find
(London, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Dover Publications Inc., United States, 2013. Paperback. État : New. 2nd ed.. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. 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 réf. du libraire BTE9780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 19,49
Autre devise

Ajouter au panier

Frais de port : EUR 1,34
De Royaume-Uni vers France
Destinations, frais et délais

6.

Takeuti, Gaisi
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Quantité : 2
Vendeur
GreatBookPrices
(Columbia, MD, Etats-Unis)
Evaluation vendeur
[?]

Description du livre État : New. N° de réf. du libraire 18621841-n

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 12,12
Autre devise

Ajouter au panier

Frais de port : EUR 10,31
De Etats-Unis vers France
Destinations, frais et délais

7.

Takeuti
Edité par Dover Publications Inc. 2013-01-01, Mineola, New York (2013)
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) paperback Quantité : 1
Vendeur
Blackwell's
(Oxford, OX, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Dover Publications Inc. 2013-01-01, Mineola, New York, 2013. paperback. État : New. N° de réf. du libraire 9780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 20,49
Autre devise

Ajouter au panier

Frais de port : EUR 2,80
De Royaume-Uni vers France
Destinations, frais et délais

8.

Takeuti, Gaisi
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Quantité : > 20
Vendeur
Paperbackshop-US
(Wood Dale, IL, Etats-Unis)
Evaluation vendeur
[?]

Description du livre 2013. PAP. État : New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. N° de réf. du libraire V0-9780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 10,94
Autre devise

Ajouter au panier

Frais de port : EUR 12,89
De Etats-Unis vers France
Destinations, frais et délais

9.

Takeuti, Gaisi
Edité par Dover Publications
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) PAPERBACK Quantité : 1
Vendeur
Booklot COM LLC
(Philadelphia, PA, Etats-Unis)
Evaluation vendeur
[?]

Description du livre Dover Publications. PAPERBACK. État : New. 0486490734. N° de réf. du libraire Z0486490734ZN

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 19,05
Autre devise

Ajouter au panier

Frais de port : EUR 5,15
De Etats-Unis vers France
Destinations, frais et délais

10.

Takeuti, Gaisi
Edité par Dover Publications Inc. (2013)
ISBN 10 : 0486490734 ISBN 13 : 9780486490731
Neuf(s) Quantité : 3
Vendeur
Books2Anywhere
(Fairford, GLOS, Royaume-Uni)
Evaluation vendeur
[?]

Description du livre Dover Publications Inc., 2013. PAP. État : New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. N° de réf. du libraire IB-9780486490731

Plus d'informations sur ce vendeur | Poser une question au libraire

Acheter neuf
EUR 14,42
Autre devise

Ajouter au panier

Frais de port : EUR 11,19
De Royaume-Uni vers France
Destinations, frais et délais

autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre