Verwandte Artikel zu Proof theory
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Proof theory
Beispielbild für diese ISBN
Proof theory [Paperback] Jervell, Herman Ruge
Anbieter: The Compleat Scholar, Rochester, NY, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Paperback showing slight shelf wear - corners lightly bumped, otherwise as new. Pages are clean. No notes or highlighting. Bestandsnummer des Verkäufers 16-1104-244-2949
Gebraucht kaufen
EUR 21,52
EUR 4,74 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof Theory (Paperback)
Verlag:
Logos Verlag Berlin GmbH, Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
Neu
Paperback
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9783832533038
Beispielbild für diese ISBN
Proof Theory
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2013. Paperback. . . . . . Bestandsnummer des Verkäufers V9783832533038
Neu kaufen
EUR 45,05
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Proof Theory
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 121 pages. 8.25x6.00x0.25 inches. In Stock. Bestandsnummer des Verkäufers x-3832533036
Neu kaufen
EUR 47,49
EUR 11,66 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof Theory
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2013. Paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783832533038
Neu kaufen
EUR 55,55
EUR 9,14 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 10 verfügbar
Beispielbild für diese ISBN
Proof Theory (Paperback)
Verlag:
Logos Verlag Berlin GmbH, Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
Neu
Paperback
Anbieter: AussieBookSeller, Truganina, VIC, Australien
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9783832533038
Neu kaufen
EUR 68,41
EUR 32,21 Versand
Versand von Australien nach USA
Versand von Australien nach USA
Anzahl: 1 verfügbar