TY  - BOOK
AU  - Fenstad J E Ed.
AU  -  Saoks G E Ed.
ED  - Symposium on generalized recursion theory (1978 : Oslo)
TI  - Proceeding on generalized recursion theory
T2  - Studies in logic and the foyndations of mathematics; 94
U1  - B:(R1)p1,N77, L8 
PY  - 1978///
CY  - Amsterdam
PB  - North Holland        
KW  - Philosophy of maths
ER  -