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