TY - `CONF` AU - Fenstad, Jens E. TI - Proceedings of the 1972 Oslo Symposium C2 - 1974 LA - eng SP - VII, 456 S. T3 - Generalized recursion theory VL - [1] T3 - Studies in logic and the foundations of mathematics VL - 79 SN - 0-7204-2276-0 SN - 978-0-7204-2276-4 CN - 76 B 244 CN - Kongr. 1972/28 CN - Kongr. 1972/28a AN - UBHD-1050752 ER -