Normal view
MARC view
Machover M (Personal Name)
Machine generated authority record.
Work cat.: (OSt)833753: Bell J L 513099, Course in mathematical logic., 1977