Logic 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

Meeting on Logic and Computer Science (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej Scedrov

Berlin Springer 1990

Localização: ICMC - Inst. Ciên. Mat. Computação    (00-02 Lnm v.1429 ) e outros locais(Acessar)