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
*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.