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