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