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 |
Autore | Logic Symposia : <1979-1980 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, 1981 |
Descrizione fisica | XI, 394 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico | Logica matematica - Congressi |
ISBN | 3-540-11161-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000014432 |
Logic Symposia : <1979-1980 | ||
Berlin [etc.] : Springer, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Mathematical logic and applications : proceedings of the Logic meeting held in Kyoto, 1987 / J. Shinoda, T. A. Slaman, T. Tugue, eds. |
Autore | Logic meeting : <1987 |
Pubbl/distr/stampa | Berlin [etc.] : Springer, c1989 |
Descrizione fisica | 222 p. ; 25 cm. |
Disciplina | 511.3 |
Collana | Lecture notes in mathematics |
Soggetto topico | Logica matematica - Congressi |
ISBN | 3-540-51527-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000014121 |
Logic meeting : <1987 | ||
Berlin [etc.] : Springer, c1989 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. della Basilicata | ||
|