A novel feature here is the use of AND-OR trees in describing alternating automata, in introducing sequent calculus, and in complexity.
Author: Herman Ruge Jervell (1945) is professor of logic in Department of Informatics, University of Oslo
Please see as well: Modal logic and Proof theory
|only 2 in stock|
*You can purchase the eBook (PDF) alone or combined with the printed book (eBundle). 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 email@example.com