TY  - BOOK
AU  - Fenstad J E ed.
ED  - Symposium on Generalized Recursion Theory( 2nd : 1977 : Oslo )
TI  - Generalized recursion theory II: proceedings
U1  - 510.1 
PY  - 1978///
CY  - Amsterdam
PB  - North Holland
KW  - Mathematical logic
KW  - Recursion theory
ER  -