Isbn: 9783832533038 - proof theory (6 risultati)
- Brossura
Da: The Compleat Scholar, Rochester, NY, U.S.A.The Compleat Scholar
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 21,56
EUR 4,75 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Very Good. Paperback showing slight shelf wear - corners lightly bumped, otherwise as new. Pages are clean. No notes or highlighting.
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 43,74
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 45,05
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 10 disponibili
Condizione: New. 2013. Paperback. . . . . .
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 47,39
EUR 11,66 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 121 pages. 8.25x6.00x0.25 inches. In Stock.
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 55,65
EUR 9,16 spedizioneSpedito in U.S.A.Quantità: 10 disponibili
Condizione: New. 2013. Paperback. . . . . . Books ship from the US and Ireland.
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 68,47
EUR 32,28 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. In proof theory we investigate the objects used for computations and arguments in computer science and mathematics. Our starting point is the classical analysis given by Gerhard Gentzen in the 1930s. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…
