Proof Theory: Second Edition (Dover Books on Mathematics)

Valutazione media 4,5
( su 2 valutazioni fornite da 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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2013. PAP. Condizione libro: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria V0-9780486490731

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 10,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

2.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Quantità: 2
Da
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Codice libro della libreria 18621841-n

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 12,10
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,26
In U.S.A.
Destinazione, tempi e costi

3.

Gaisi Takeuti
Editore: Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Paperback Quantità: 10
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2013. Paperback. Condizione libro: 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. Codice libro della libreria AA99780486490731

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 14,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

4.

Gaisi Takeuti
Editore: Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Paperback Quantità: 10
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2013. Paperback. Condizione libro: 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. Codice libro della libreria AA99780486490731

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 14,84
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

Takeuti, Gaisi
Editore: Dover Publishers
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Quantità: > 20
Da
INDOO
(Avenel, NJ, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publishers. Condizione libro: New. Brand New. Codice libro della libreria 0486490734

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 12,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,00
In U.S.A.
Destinazione, tempi e costi

6.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Quantità: 3
Da
Pbshop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2013. PAP. Condizione libro: New. New Book.Shipped from US within 10 to 14 business days. Established seller since 2000. Codice libro della libreria IB-9780486490731

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 12,92
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

7.

Takeuti, Gaisi
Editore: Dover Publications
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi PAPERBACK Quantità: > 20
Da
Mediaoutlet12345
(Springfield, VA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486490734 *BRAND NEW* Ships Same Day or Next!. Codice libro della libreria NATARAJB1FI1001063

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 13,62
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

8.

Takeuti, Gaisi
Editore: Dover Publications
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi PAPERBACK Quantità: 1
Da
Booklot COM LLC
(Philadelphia, PA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486490734. Codice libro della libreria Z0486490734ZN

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 19,01
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Gaisi Takeuti
Editore: Dover Publications Inc., United States (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Paperback Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2013. Paperback. Condizione libro: 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. Codice libro della libreria BTE9780486490731

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 19,34
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Takeuti, Gaisi
Editore: Dover Publications
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi PAPERBACK Quantità: 1
Da
Lakeside Books
(Benton Harbor, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486490734 BRAND NEW, GIFT QUALITY! NOT OVERSTOCKS OR MARKED UP REMAINDERS! DIRECT FROM THE PUBLISHER!|1.4. Codice libro della libreria OTF-Y-9780486490731

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 16,06
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro