1.

Record Nr.

UNIBAS000014432

Autore

Logic Symposia : <1979-1980

Titolo

Logic Symposia Hakone 1979, 1980 : proceedings of conferences held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980 / edited by G. H. Muller, G. Takeuti, T. Tugue

Pubbl/distr/stampa

Berlin [etc.] : Springer, 1981

ISBN

3-540-11161-1

Descrizione fisica

XI, 394 p. ; 25 cm.

Collana

Lecture notes in mathematics ; 891

Disciplina

511.3

Soggetti

Logica matematica - Congressi

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia