Logic for Applications - Texts in Computer Science - Anil Nerode - Books - Springer-Verlag New York Inc. - 9780387948935 - January 17, 1997
In case cover and title do not match, the title is correct

Anil Nerode
Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

Price
$ 145.99
excl. VAT

Ordered from remote warehouse

Expected delivery Jan 13 - 23, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.

476 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released January 17, 1997
ISBN13 9780387948935
Publishers Springer-Verlag New York Inc.
Pages 476
Dimensions 156 × 234 × 26 mm   ·   816 g
Language English   French  

More by Anil Nerode

Show all

See all of Anil Nerode ( e.g. Paperback Book and Hardcover Book )