01446nam a2200385 i 450099100109393970753620020507183140.0930628s1990 ||| ||| | eng 3540527346b10800049-39ule_instLE01306920ExLDip.to Matematicaeng511.3AMS 03B20AMS 03B40AMS 03B70AMS 03D15Homer, Steven291864Logic and computer science :lectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 /ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. OdiffreddiBerlin :Springer-Verlag,1990162 p. ;24 cm.Lecture notes in mathematics,0075-8434 ;1429Computer scienceCongressesLogicCongressesNerode, AnilPlatek, Richard A.Sacks, Gerald E.Scedrov, AndreOdifreddi, Piergiorgio.b1080004923-02-1728-06-02991001093939707536LE013 03B HOM11 (1990)12013000123394le013-E0.00-l- 00000.i1090388428-06-02Logic and computer science262340UNISALENTOle01301-01-93ma -engxx 01