Introduction to Logic |
|
Author:
| Genesereth, Michael Kao, Eric J. |
Series title: | Synthesis Lectures on Computer Science Ser. |
ISBN: | 978-1-62705-636-6 |
Publication Date: | Nov 2016 |
Publisher: | Morgan & Claypool Publishers
|
Book Format: | Paperback |
List Price: | AUD $85.00 |
Book Description:
|
Provides a gentle but rigorous introduction to Formal Logic. Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.
Provides a gentle but rigorous introduction to Formal Logic. Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.