The Logic of Partial Information - Monographs in Theoretical Computer Science

The Science of Programming (Monographs in Computer Science) by Gries

Programming with Sets: An Introduction to SETL (Monographs in Computer Science)

Lecture Notes in Computer Science Ser.: Twenty Years of Theoretical and...

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

Computability, Complexity, and Languages: Fundamentals of Theoretical Computer

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

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