The Logic of Partial Information - Monographs in Theoretical Computer Science

Texts in Theoretical Computer Science. an EATCS Ser.: Universal Artificial...

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer S

Automata and Computability (Undergraduate Texts in Computer Science)

Eatcs Monographs on Theoretical Computer Sci: Semirings, Automata and Languages

1983 Computer Science And Applied Mathematics Computability Complexity & Lang

A Programming Approach to Computability (Monographs in Computer Science)

The Resolution Calculus (Texts in Theoretical Computer Science. An EATCS Series)