01129nam0-22003491i-450-99000132526040332120050201155720.03-540-52734-6000132526FED01000132526(Aleph)000132526FED0100013252620001205d1990----km-y0itay50------baengLogic computer sciencelectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988editor P. OdifreddiBerlinSpringerc1990162 p.24 cmLecture notes in mathematics1429Logica generaleCongressiLogica combinatoriaCongressi005.131Odifreddi,Piergiorgio<1950- >Centro internazionale matematico estivo284620ITUNINARICAUNIMARCBK990001325260403321C-20-(14297404MA1MA103B4003B20Logic computer science382876UNINA