1
Theory of computation /
Book
Wood, D.
1987
...Harper and Row computer science and technology series ;...
2
Logic for computer science : foundations of automatic theorem proving /
Book
...Harper and Row computer science and technology series ;...
3
Introduction to programming with Modula 2.
Book
...Harper and Row computer science and technology series....