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.)

• Record Nr.: UNINA990001449350403321
• Autore: Logic colloquium : <1996
• Pubbl/distr/stampa: Berlin [etc.] : Springer, c1998
• ISBN: 3-540-64668-X
• Descrizione fisica: VI, 261 p. ; 24 cm
• Collana: Lecture notes in logic ; 12
• Disciplina: 160
• Locazione: FI1
• Collocazione: 7-306
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia