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
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. Artikel-Nr. x-3832533036
Neu kaufen
EUR 47,37
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. Artikel-Nr. V9783832533038
Neu kaufen
EUR 55,73
EUR 9,17 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 10 verfügbar