First-Order Logic and Automated Theorem Proving / by Melvin Fitting.
There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scien tists. Although there is a common core to all such books, they will be very different in emphasis, methods, and even appearance. This book is intended for compu...
Saved in:
| Online Access: |
Full Text (via ProQuest) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY :
Springer New York,
1996.
|
| Edition: | Second edition. |
| Series: | Graduate texts in computer science.
|
| Subjects: |
Internet
Full Text (via ProQuest)Online
| Call Number: |
QA8.9-QA10.3
|
|---|---|
| QA8.9-QA10.3 | Available |