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

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

Anil Nerode

Price
DKK 1,187.20
excl. VAT

Ordered from remote warehouse

Expected delivery Apr 30 - May 13

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:

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

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  
Show all

More by Anil Nerode

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