cover

Proof theory

Herman Ruge Jervell
ISBN 978-3-8325-3303-8
129 Seiten, Erscheinungsjahr: 2013
Preis: 19.80 EUR

Inhaltsverzeichnis (PDF)

Stichworte/keywords: Proof theory, cut elimination, quantifier elimination, ordinal notations, combinatorics, finite

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 1930's. We develop this further using a new theory of ordinal notation and connecting this with combinatorics on finite trees.

Author: Herman Ruge Jervell (1945) is professor of logic in Department of Informatics, University of Oslo.

Please see as well: Logic and Computations and Modal logic

Exemplar(e)

Dieses Buch ist auch als eBook (PDF) erhätlich. Sie können es entweder als reines eBook herunterladen oder in Kombination mit dem gedruckten Buch (eBundle) erwerben. Der Erwerb beider Optionen wird über PayPal abgerechnet - zur Nutzung muss aber kein PayPal-Account angelegt werden.

Mit dem Erwerb des eBooks bzw. eBundles akzeptieren Sie unsere Lizenzbedingungen für eBooks.

eBook:    17.50 EUR ->

eBundle: 29.80 EUR ->
innerhalb Deutschlands (versandkostenfrei):          
außerhalb Deutschlands (Versandkosten: 4 EUR):

Bei Interesse an Multiuser- oder Campus-Lizenzen (MyLibrary) füllen Sie bitte das Formular aus oder schreiben Sie eine email an order@logos-verlag.de