Normal view
MARC view
Proceedings of Logic Colloquium (8th : 1963 : Oxford) (Meeting Name)
Machine generated authority record.
Work cat.: (): Proceedings of Logic Colloquium (8th : 1963 : Oxford), Formal systems and recursive functions /, 1965
