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