First-Order Logic and Automated Theorem Proving by Melvin FittingEnglish | PDF | 1996 | 337 Pages | ISBN : 0387945938 | 26.9 MB
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.