Mathematical Logic for Computer Science

New
Paperback
2012
$62.59

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

Synopsis

This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.

$62.59

Quantity

10 in stock

More Information

Format: Paperback
Pages: 346
Edition: 3rd ed. 2012
Publisher: Springer
Published: 17 Jun 2012
ISBN 10: 1447141288
ISBN 13: 9781447141280

Mathematical Logic for Computer Science

New

$62.59

Synopsis

$62.59

More Information