Gaisi Takeuti Proof Theory

ISBN 13: 9780486490731

Proof Theory

Valutazione media 4,5
( su 2 valutazioni fornite da GoodReads )
 
9780486490731: Proof Theory

This comprehensive monograph
is a cornerstone in the area of
mathematical logic and related
fields. Focusing on Gentzen-type
proof theory, the book 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.
Reprint of the North Holland, Amsterdam, 1987 edition.

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

Contenuti:

Preface Preface to the Second Edition Contents Introduction Part I. First Order Systems 1. First Order Predicate Calculus 2. Peano Arithmetic Part II. Second Order and Finite Order Systems 3. Second Order Systems and Simple Type Theory 4. Infinitary Logic Part III. Consistency Problems 5. Consistency Proofs 6. Some Applications of Consistency Proofs Postscript Appendix Index

Sinossi:

Book by Takeuti Gaisi

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

I migliori risultati di ricerca su AbeBooks

1.

Takeuti, Gaisi
Editore: Dover Pubns (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Quantità: > 20
Da
Paperbackshop-US
(Commerce, GA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Pubns, 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 11,74
Convertire valuta

Aggiungere al carrello

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

2.

Takeuti, Gaisi
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Quantità: 5
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 13,02
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,45
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à: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2013. Paperback. Condizione libro: New. 2nd. 226 x 150 mm. 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 15,56
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à: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., United States, 2013. Paperback. Condizione libro: New. 2nd. 226 x 150 mm. 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 15,57
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 13,49
Convertire valuta

Aggiungere al carrello

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

6.

Gaisi Takeuti
Editore: Dover Publications Inc. (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Quantità: 2
Da
PBShop
(Wood Dale, IL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications Inc., 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 14,66
Convertire valuta

Aggiungere al carrello

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

7.

Takeuti, Gaisi
Editore: Dover Publications (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Paperback Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications, 2013. Paperback. Condizione libro: New. Codice libro della libreria 0486490734

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 17,07
Convertire valuta

Aggiungere al carrello

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

8.

Takeuti, Gaisi
Editore: Dover Publications Inc. (2013)
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Brossura Quantità: 5
Valutazione libreria
[?]

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

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 19,92
Convertire valuta

Aggiungere al carrello

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

9.

Gaisi Takeuti
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi Paperback Quantità: 1
Da
Grand Eagle Retail
(Wilmington, DE, U.S.A.)
Valutazione libreria
[?]

Descrizione libro 2013. Paperback. Condizione libro: New. 2nd. 150mm x 28mm x 226mm. Paperback. This comprehensive monograph is a cornerstone in the area of mathematical logic and related fields. Focusing on Gentzen-type proof theory, the book presents a detailed overview of creative.Shipping may be from multiple locations in the US or from the UK, depending on stock availability. 490 pages. 0.635. Codice libro della libreria 9780486490731

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 20,24
Convertire valuta

Aggiungere al carrello

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

10.

Takeuti, Gaisi
Editore: Dover Publications
ISBN 10: 0486490734 ISBN 13: 9780486490731
Nuovi PAPERBACK Quantità: 2
Da
Movie Mars
(Indian Trail, NC, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Dover Publications. PAPERBACK. Condizione libro: New. 0486490734 Brand New Book. Ships from the United States. 30 Day Satisfaction Guarantee!. Codice libro della libreria 16174303

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 17,06
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro