Articoli correlati a Proof Theory
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Proof Theory
Foto dell'editore
Proof theory [Paperback] Jervell, Herman Ruge
Da: The Compleat Scholar, Rochester, NY, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Paperback showing slight shelf wear - corners lightly bumped, otherwise as new. Pages are clean. No notes or highlighting. Codice articolo 16-1104-244-2949
Compra usato
EUR 21,59
Spedizione EUR 4,76
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Proof Theory (Paperback)
Editore:
Logos Verlag Berlin GmbH, Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
Nuovo
Paperback
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 9783832533038
Compra nuovo
EUR 43,80
Spedizione gratuita
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Proof Theory
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Valutazione del venditore 5 su 5 stelle
Condizione: New. 2013. Paperback. . . . . . Codice articolo V9783832533038
Compra nuovo
EUR 45,05
Spedizione EUR 9,50
Spedito da Irlanda a U.S.A.
Spedito da Irlanda a U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Proof Theory
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 121 pages. 8.25x6.00x0.25 inches. In Stock. Codice articolo x-3832533036
Compra nuovo
EUR 47,37
Spedizione EUR 11,66
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Proof Theory
Da: Kennys Bookstore, Olney, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. 2013. Paperback. . . . . . Books ship from the US and Ireland. Codice articolo V9783832533038
Compra nuovo
EUR 55,73
Spedizione EUR 9,17
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Proof Theory (Paperback)
Editore:
Logos Verlag Berlin GmbH, Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
Nuovo
Paperback
Da: AussieBookSeller, Truganina, VIC, Australia
Valutazione del venditore 5 su 5 stelle
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. Codice articolo 9783832533038
Compra nuovo
EUR 68,51
Spedizione EUR 32,32
Spedito da Australia a U.S.A.
Spedito da Australia a U.S.A.
Quantità: 1 disponibili