Introduction to Logic |
|
| Author:
| Genesereth, Michael
Kao, Eric |
| Series title: | Synthesis Lectures on Computer Science Ser. |
| ISBN: | 978-1-62705-247-4 |
| Publication Date: | Aug 2013 |
| Publisher: | Morgan & Claypool Publishers
|
| Book Format: | Paperback |
| List Price: | USD $25.00USD $25.00 |
Book Description:
|
Provides a gentle but rigorous introduction to formal logic. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title 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. The book covers logical syntax and semantics and proof theory, plus induction. Unlike other books, this title begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand.