First-Order Logic and Automated Theorem Proving Melvin Fitting Pa

Higher Order Logic Theorem Proving and Its Applications 7th Inter

Introduction to HOL a theorem proving environment for higher order logic ed..

Asynchronous Circuits (Monographs in Computer Science)

A basis for theoretical computer science. Texts and monographs in computer scie

Automated Theorem Proving: A Logical Basis Loveland, Donald W.:

Fairness (Monographs in Computer Science) Francez, Nissim

A First Course In Formal Logic & It’s Applications In Computer Science PB 1994