01134nam0-22003611i-450-99000103717040332120070117105737.03-540-07534-8000103717FED01000103717(Aleph)000103717FED0100010371720001205d1975----km-y0itay50------baengDEISILC logic conferenceproceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974edited by G.H. Müller, A. Oberschelp and K. PotthoffBerlin ; New YorkSpringer-Verlag1975IV, 651 p.24 cmLecture notes in mathematics499LogicaRicorsività160Müller,Gert HeinzOberschelp,ArnoldPotthoff,KarlInternational summer institute and logic colloquium<1974 ;Kiel>297938ITUNINARICAUNIMARCBK9900010371704033217-15510034FI1FI1ISILC logic conference80639UNINA