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...
Full description
Saved in: