by 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 lo…