First-Order Logic and Automated Theorem Proving

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 scientists. Although there is a common core to all such books they will be very dif­ ferent in emphasis, methods, and even appearance. This book is intended for comput...

Full description

Saved in:
Bibliographic Details
Main Author: Fitting, Melvin (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: New York, NY : Springer New York : Imprint: Springer, 1990.
Edition:1st ed. 1990.
Series:Monographs in Computer Science,
Springer eBook Collection.
Subjects:
Mathematical logic.
Computer logic.
Artificial intelligence.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Login for hold information

‌

Click to view e-book

Online

Holdings details from Online
Call Number: E-Book
Copy 1 Available

Similar Items