Generalised recursion theory: Proceedings of the 1972 Oslo symposium / edited by J E Fenstad and P G Hinman
Proceedings on generalized recursion theory (1972: June 12-16)
Generalised recursion theory: Proceedings of the 1972 Oslo symposium / edited by J E Fenstad and P G Hinman - amsterdam North Holland Publishing Company 1974 - viii, 456 p. 23 cm. - Studies in logic and the foundations in mathematics; v. 79 .
Roman
0720422760
Inductive definability
Recursion theory
Recursion theory
Sets and ordinals
517.521
Generalised recursion theory: Proceedings of the 1972 Oslo symposium / edited by J E Fenstad and P G Hinman - amsterdam North Holland Publishing Company 1974 - viii, 456 p. 23 cm. - Studies in logic and the foundations in mathematics; v. 79 .
Roman
0720422760
Inductive definability
Recursion theory
Recursion theory
Sets and ordinals
517.521