Proceeding on generalized recursion theory - Fenstad J E Ed.; Symposium on generalized recursion theory (1978 : Oslo); Saoks G E Ed. (Amsterdam North Holland, 1978)
Keywords: Philosophy of maths