Logic for Computer Scientists (Modern Birkhäuser Classics)

New
Paperback
2008
$64.04

This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.

Synopsis

This classic text introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, predicate logic, and foundations of logic programming. The text is replete with illustrative examples and exercises.

$64.04

Quantity

10 in stock

More Information

Format: Paperback
Pages: 166
Edition: 1st ed. 1989. 2nd printing
Publisher: Birkhauser
Published: 25 Jan 2008
ISBN 10: 0817647627
ISBN 13: 9780817647629

Logic for Computer Scientists (Modern Birkhäuser Classics)

New

$64.04

Synopsis

$64.04

More Information