Normal view
MARC view
Huth Michael (Personal Name)
Machine generated authority record.
Work cat.: (OSt)771512: Huth Michael, Logic in computer science , 2004