|
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISALENTO991001093939707536 |
|
|
Autore |
Homer, Steven |
|
|
Titolo |
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 / ed S. Homer, A. Nerode, R. A. Platek, G. E. Sacks, A. Scedrov ; ed. P. Odiffreddi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin : Springer-Verlag, 1990 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics, 0075-8434 ; 1429 |
|
|
|
|
|
|
Classificazione |
|
AMS 03B20 |
AMS 03B40 |
AMS 03B70 |
AMS 03D15 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
Nerode, Anil |
Platek, Richard A. |
Sacks, Gerald E. |
Scedrov, Andre |
Odifreddi, Piergiorgio |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science - Congresses |
Logic - Congresses |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |