TY - BOOK AU - Fenstad J E Ed. AU - Hinman P G Ed. ED - Symposium on generalized recuesion theory (1972 : Osto) TI - Proceeding on generalized recursion theory T2 - Studies in logic and the foundations of mathematics; 79 U1 - B:(R1)p1,N73, L4 PY - 1974/// CY - New York PB - North Holland ER -