Logic and computer science : - Homer, S. (Steven) (Lecture notes in mathematics (Springer-Verlag), 1990)