Normal view
MARC view
Smith Carl H Ed (Personal Name)
Machine generated authority record.
Work cat.: (OSt)783468: Kueker David W Ed. 470762, Mathematical logic and theoretical computer science., 1987