Logic for Applications /

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 logic. It also presents the logical and mathematical foundations for resolution theorem proving and Logic...

Full description

Bibliographic Details

Main Author:	Nerode, Anil
Corporate Author:	SpringerLink (Online service)
Other Authors:	Shore, R. A. (Richard A.)
Format:	eBook
Language:	English
Published:	New York, NY : Springer US, 1993.
Series:	Texts and monographs in computer science.
Subjects:	Computer science. Computer input-output equipment. Electronic books. Computers.
Online Access:	Connect to the full text of this electronic book