MENÜ
Proof theory
Herman Ruge Jervell
ISBN 978-3-8325-3303-8
129 pages, year of publication: 2013
price: 19.80 €
Proof theory
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
Table of contents (PDF)
BUYING OPTIONS
Keywords:
- Proof theory
- cut elimination
- quantifier elimination
- ordinal notations
- combinatorics
- finite
BUYING OPTIONS
| 19.80 € | ||
| only 1 in stock | ||
| 17.50 € | ||
| 29.80 € | ||
| 33.80 € | ||
(D) = Within Germany
(W) = Abroad
(W) = Abroad
You can purchase the eBook (PDF) alone or combined with the printed book (Bundle). In both cases we use the payment service of PayPal for charging you - nevertheless it is not necessary to have a PayPal-account. With purchasing the eBook or eBundle you accept our licence for eBooks.
For multi-user or campus licences (MyLibrary) please fill in the form or write an email to order@logos-verlag.de
Logos Verlag Berlin GmbH, Georg-Knorr-Str. 4, Geb. 10, D-12681 Berlin, Tel.: +49 (0)30 4285 1090, FAX: +49 (0)30 4285 1092 Datenschutz