Normal view
MARC view
Shepherdson, J. C. (Personal Name)
Machine generated authority record.
Work cat.: (OSt)0: Mathematical logic and programming languages, 1985