Books
2 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Beyond two | Melvin Fitting | This volume represents the state of the art for much current research in many-valued logics. Primary researchers in the field are among the authors. Major methodological issues of many-valued logics … | OL19830864W |
|
First-Order Logic and Automated Theorem Proving | Melvin Fitting | This graduate-level text presents fundamental concepts and results of classical logic in a rigorous mathematical style. Applications to automated theorem proving are considered and usable Prolog prog… | OL19850264W |