Logic for Applications

Name: Logic for Applications
Price: 16.63 USD
Availability: InStock
ISBN: 9780387948935

ISBN-10: 0387948937

ISBN-13: 9780387948935

Edition: 2nd 1997 (Revised)

Authors: Anil Nerode, Richard A. Shore

List price: $159.99

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $147.23

Marketplace

3 new & used from $16.63

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditional topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic - which are becoming increasingly important in computer science. No previous exposure to logic is assumed and so this will be suitable for upper level undergraduates or beginning graduate students in…

Book details

List price: $159.99
Edition: 2nd
Copyright year: 1997
Publisher: Springer New York
Publication date: 1/17/1997
Binding: Hardcover
Pages: 456
Size: 6.10" wide x 9.25" long x 0.47" tall
Weight: 2.090
Language: English

Luï¿½s Moniz Pereira is Professor in the Department of Computer Science at the Universidade Nova Lisboa, Portugal.Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.



Preface


Introduction



Propositional Logic



Predicate Logic



Prolog



Modal Logic



Intuitionistic Logic



Elements of Set Theory



An Historical Overview



A Genealogical Database


Bibliography


Index of Symbols


Index of Terms