01692nam 2200457 450 00001468820050718115500.03-540-07534-820030702d1975----km-y0itay0103----baengDEISILC logic conferenceproceedings of the International summer institute and logic colloquium, Kiel 1974edited G. H. Muller, A. Oberschelp, K. PotthoffBerlin [etc.]Springer1975IV, 651 p.25 cm.Lecture notes in mathematics4992001Lecture notes in mathematicsLogica simbolicaCongressiLogica matematicaCongressiInsiemiTeoriaCongressi511.3(21. ed.)Logica matematica (Logica simbolica)03-XXMathematical logic and foundation04-XXSet theory68-XXComputer scienceMuller,Gert HOberschelp,A.Potthoff,K.International summer institute and logic colloquium<1974; Kiel>297938ITUniversità della Basilicata - B.I.A.RICAunimarc000014688ISILC logic conference80639UNIBASMONSCISCIENZEEXT0030120030702BAS01120220050601BAS011755batch0120050718BAS01105220050718BAS01111120050718BAS01114120050718BAS011155BAS01BAS01BOOKBASA2Polo Tecnico-ScientificoGENCollezione generaleMAT31702S317022003070251Riservati