01027nam--2200313---450099000106982020331620020417120923.0000106982USA01000106982(ALEPH)000106982USA0100010698220020417d19811974km-y0ENGy0103----baengDELogic symposia Hakone 1979, 1980proceedings of Conference held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980edited by G.H. Muller, G. Takeuti and TuguéBerlinSpringer verlag1981XI, 394 p.24 cmLecture notes in mathematics8912001Lecture notes in mathematics891511.3ITsalbcISBD990001069820203316510 LNM 891906 CBS51000109995BKSCIPATTY9020020417USA011209PATRY9020040406USA011714Logic symposia Hakone 1979, 1980262519UNISA