Normal view
MARC view
Manaster Alfred B (Personal Name)
Machine generated authority record.
Work cat.: (OSt)713594: Manaster Alfred B, Compleeness,compactness,and undecidability, 1975