Machine generated authority record.
Work cat.: (GY-GeU)0: Huth, Michael , Logic in computer science :, 2004