Vai al contenuto principale della pagina
Autore: | Logic colloquium : <1996 |
Titolo: | Logic colloquium '96 : proceedings of the Colloquium held in San Sebastiàn, Spain, july 9-15, 1996 / J.M. Larrazabal, D. Lascar, G. Mints (Eds.) |
Pubblicazione: | Berlin [etc.] : Springer, c1998 |
Descrizione fisica: | VI, 261 p. ; 24 cm |
Disciplina: | 160 |
Soggetto non controllato: | Logica |
Ricorsività | |
Persona (resp. second.): | Larrazabal, Jesús M. |
Lascar, Daniel | |
Mints, G. | |
Titolo autorizzato: | Logic colloquium '96 |
ISBN: | 3-540-64668-X |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 990001449350403321 |
Lo trovi qui: | Univ. Federico II |
Collocazione: | 7-306 |
Opac: | Controlla la disponibilità qui |