Computer Science Logic - häftad, Engelska, 1997