First-Order Logic and Automated Theorem Proving by Melvin Fitting
First-Order Logic and Automated Theorem Proving

Melvin Fitting

First-Order Logic and Automated Theorem Proving

Melvin Fitting

missing page info Add in missing page information first pub 1990 (editions)

medium-paced
Powered by AI (Beta)
Loading...

Description

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, ...

Read more

Community Reviews

Loading...

Content Warnings

Loading...