Models, algebras, and proofs : selected papers of the 10. Latin American Symposium on Mathematical Logic held in Bogotá / edited by Xavier Caicedo, Carlos H. Montenegro |
Autore | Latin American symposium on mathematical logic : <10. : ; 1996 |
Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, c1999 |
Descrizione fisica | XIII, 448 p. ; 26 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in pure and applied mathematics |
Soggetto topico | Logica matematica - Congressi |
ISBN | 0-8247-1970-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000015814 |
Latin American symposium on mathematical logic : <10. : ; 1996
![]() |
||
New York [etc.] : Marcel Dekker, c1999 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Models, algebras, and proofs : selected papers of the X Latin American symposium on mathematical logic held in Bogotà 1995 / edited by Xavier Caicedo, Carlos H. Montenegro |
Autore | Latin American symposium on mathematical logic : 10th. : 1981 |
Pubbl/distr/stampa | New York [etc.] : Marcel Dekker, 1999 |
Descrizione fisica | XIII, 448 p. : ill. ; 26 cm |
Disciplina | 511322 |
Collana | Lecture notes in pure and applied mathematics |
Soggetto non controllato |
congressi - bogota' - 1995
logica matematica - congressi - 1995 modelli matematici - congressi - 1995 teoria degli insiemi - congressi - 1995 |
ISBN | 0-8247-1970-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000219690203316 |
Latin American symposium on mathematical logic : 10th. : 1981
![]() |
||
New York [etc.] : Marcel Dekker, 1999 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|