Anil Nerode Books
Logic for applications
By Anil Nerode
Logic for Applications presents a rigorous introduction to classical, intuitionistic, and modal logic. The book emphasizes deduction as a form of computation by examining the logical and mathematic...
Read More