Normal view
MARC view
Kozen, Dexter, C (Nombre personal)
Machine generated authority record.
Work cat.: (OSt)7540: Kozen, Dexter, C, Automata and computability