Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
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, 1988Meeting on Logic and Computer Science (1988 : Montecatini Terme, It) Homer Steven; Piergiorgio Odifreddi; Anil Nerode 1932-; Richard A Platek; Gerald E Sacks 1933-; Andrej ScedrovBerlin Springer 1990Localização: ICMC - Inst. Ciên. Mat. Computação (00-02 Lnm v.1429 ) e outros locais(Acessar) |
|
2 |
Material Type: Livro
|
Logic and Computer ScienceHomer Steven Homer; Piergiorgio Odifreddi; Anil Nerode; Richard A Platek; Gerald E Sacks; Andre Scedrov; Centro internazionale matematico estivo.Springer Berlin Heidelberg 1990Acesso online |