Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Logic for Applications | Anil Nerode | This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logi… | OL19884512W |