| Title:
|
LOGIC IN COMPUTER SCIENCE
|
| By: |
Hantao Zhang |
| Format: |
Paperback / softback |
| List price:
|
£54.99 |
| Our price: |
£43.99 |
| Discount: |
|
| You save:
|
£11.00 |
|
|
|
|
|
| ISBN 10: |
9819798159 |
| ISBN 13: |
9789819798155 |
| Availability: |
Not yet published. (You may still order this item, and we will dispatch your order as soon as it becomes available.)
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
SPRINGER VERLAG, SINGAPORE |
| Pub. date: |
10 January, 2025 |
| Pages: |
400 |
| Description: |
Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic. |
| Illustrations: |
Approx. 400 p. |
| Returns: |
Returnable |