{"product_id":"logic-and-computations-herman-ruge-jervell-9783832530907","title":"Logic and Computations","description":"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.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Herman Ruge Jervell\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3832530908\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783832530907\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Logos Verlag Berlin\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 03\/10\/2012\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 130\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback","brand":"Herman Ruge Jervell","offers":[{"title":"Paperback","offer_id":48450126479615,"sku":"9783832530907","price":30.0,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_1d9a9dc1-ab38-4c1b-ba81-46c7c58f12c0.jpg?v=1777266325","url":"https:\/\/www.whiterainbookhouse.com\/products\/logic-and-computations-herman-ruge-jervell-9783832530907","provider":"WR Book House","version":"1.0","type":"link"}