1.

Record Nr.

UNISALENTO991001263399707536

Autore

Arruda, Ayda I.

Titolo

Proceedings of the third brazilian conference on mathematical logic : (UPF - Recife, December 17-22, 1979 / eds. A. I. Arruda, Newton C. A. Da Costa, A. M. Sette

Pubbl/distr/stampa

Sao Paulo : Soc. Brasileira de Logica, 1980

Descrizione fisica

vi, 336 p. ; 24 cm.

Classificazione

AMS 03-06

AMS 03-XX

Altri autori (Persone)

Costa, Newton C. A. : daauthor

Sette, Antonio Mario

Disciplina

511.3

Soggetti

Mathematical logic

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Conference/Meeting UPF Recife, Brazil 1979