Normal view
MARC view
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science (Corporate Name)
Machine generated authority record.
Work cat.: (): Proceedings of Logic Colloquium (8th : 1963 : Oxford) 176035, Formal systems and recursive functions /, 1965
