Logic for applications [electronic resource] / Anil Nerode, Richard A. Shore.
"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 mathematical foundations of resolution theorem proving and logic programming. These subjects are important...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Authors: | , |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
New York :
Springer-Verlag,
©1993.
|
| Series: | Texts and monographs in computer science.
|
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.63 .N45 1993
|
|---|---|
| QA76.63 .N45 1993 | Available |