Items related to Logic for applications (Texts and monographs in computer...
From the Back Cover
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. While 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. The book also provides a systematic treatment of the elements of set theory, a historical overview of its subjects, and an extensive annotated bibliography. No previous exposure to logic is assumed, and so this will be suitable for upper level undergraduate or beginning graduate students in computer science or mathematics.
About the Author
Anil Nerode is Professor and Director of the Mathematical Sciences Institute at Cornell University.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Logic for applications (Texts and monographs in computer...
Seller Image
Logic for applications.
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. XVII, 365 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03830 3540941290 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2513537
Quantity: 1 available