00980nam0-22003371i-450-99000099166040332120070123110915.00-7204-22760000099166FED01000099166(Aleph)000099166FED0100009916620001205d1974----km-y0itay50------baengNLGeneralized recursion theoryproceedings of the 1972 Oslo Symposiumedited by J.E. Fenstad and P.G. HinmanAmsterdam [etc.]North-Holland1974VIII, 456 p.23 cmStudies in logic and the foundations of mathematics79LogicaRicorsività160Fenstad,Jens ErikHinman,Peter G.ITUNINARICAUNIMARCBK9900009916604033217-1509458FI1FI1Generalized recursion theory353885UNINA