Logic and Computations

Herman Ruge Jervell

ISBN 978-3-8325-3090-7
130 pages, year of publication:2012
price: 19.80 €
Logic and Computations
This short book is a complete introduction to logic and computations. As computations we use finite state automata and turing machines. In logic we use sequent calculus and show its completeness. The interrelation between logic and computations is stressed by using predicate logic to simulate computations and seeing how undecidability phenomena on computations is transferred to incompleteness in logic. We end up with discussions of complexity both in logic and in computations.

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

cover cover cover cover cover cover cover cover cover
Table of contents (PDF)


  • automata
  • turing machines
  • describing compuations
  • sequent calculus
  • complexity


19.80 €
only 2 in stock

17.50 €
29.80 €
33.80 €

(D) = Within Germany
(W) = Abroad

*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