Record Nr.

UNIBAS000014331

Autore

Latin American symposium on mathematical logic : <6. : ; 1983

Titolo

Methods in mathematical logic : proceedings of the 6. Latin American Symposium on mathametical logic held in Caracas, Venezuela, August 1-6, 1983 / edited by C. A. Di Prisco

Pubbl/distr/stampa


Berlin [etc.] : Springer, c1985

ISBN

3-540-15236-9

Descrizione fisica

VII, 407 p. ; 25 cm.

Collana

Lecture notes in mathematics ; 1130

Disciplina

511.3

Soggetti

Logica matematica - Congressi

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia