Mathematical Logic for Computer Science - Mordechai Ben-Ari - Books - Springer London Ltd - 9781447141280 - June 17, 2012
In case cover and title do not match, the title is correct

Mathematical Logic for Computer Science 3rd ed. 2012 edition

Mordechai Ben-Ari

Price
A$ 123.49

Ordered from remote warehouse

Expected delivery Mar 31 - Apr 11

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Mathematical Logic for Computer Science 3rd ed. 2012 edition

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.

354 pages, 79 black & white illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released June 17, 2012
ISBN13 9781447141280
Publishers Springer London Ltd
Pages 346
Dimensions 153 × 231 × 19 mm   ·   558 g
Language English  
Show all

More by Mordechai Ben-Ari

See all of Mordechai Ben-Ari ( e.g. Paperback Book and Hardcover Book )