Normal view
MARC view
Kozen, Dexter, 1951-(Personal Name)
Machine generated authority record
Work cat.: (OSt)8492: Kozen, Dexter, 1951-, Automata and computability /, c1997.