
Tell your friends about this item:
Logic for Computer Scientists 1st ed. 1989. 2nd printing 2008. Softcover reprint edition
Uwe Schoening
Logic for Computer Scientists 1st ed. 1989. 2nd printing 2008. Softcover reprint edition
Uwe Schoening
This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. It presents applications and themes of computer science research such as resolution, automated deduction, and logic programming in a rigorous but readable way.
177 pages, biography
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | January 11, 2008 |
ISBN13 | 9780817647629 |
Publishers | Birkhauser Boston Inc |
Pages | 168 |
Dimensions | 162 × 236 × 12 mm · 272 g |
Language | English |