01027nam0-22003491i-450-99000099167040332120070123111015.00-444-85163-1000099167FED01000099167(Aleph)000099167FED0100009916720001205d1978----km-y0itay50------baengNLGeneralized recursion theory 2.proceedings of the 1977 Oslo Symposiumedited by J.E. Fenstad, R.O. Gandy, G.E. SacksAmsterdam [etc.]North-Holland1978vii, 417 p.23 cmStudies in logic and the foundations of mathematics94LogicaRicorsività160Fenstad,Jens ErikGandy,R.O.Sacks,Gerald E.ITUNINARICAUNIMARCBK9900009916704033217-150.00110873FI1FI1Generalized recursion theory 2353884UNINA