Graduate Texts in Mathematics - 291: Mathematical Logic - Third Edition

Asynchronous Circuits (Monographs in Computer Science)

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

Fairness (Monographs in Computer Science) Francez, Nissim

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

Automated Theorem-proving in Non-classical Logics (Research notes in theoretical

Computing in Horn Clause Theories (Monographs in Theoretical Computer Science. A

Introduction to Deontic Logic and the Theory of Normative Systems. Monographs in