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,48
EUR 4,74 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Proof Theory
Verlag:
Logos Verlag Berlin, 2013
ISBN 10: 3832533036
ISBN 13: 9783832533038
Neu
paperback
Erstausgabe
Anbieter: ISD LLC, Bristol, CT, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: New. 1st. Bestandsnummer des Verkäufers 369131
Neu kaufen
EUR 26,85
EUR 4,34 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 2 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 70,16
EUR 9,12 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 2 verfügbar
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 81,02
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: 2 verfügbar