Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : Peters, 2000 |
Descrizione fisica | XV, 540 p. : ill. ; 25 cm. |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1114-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0054509 |
Urbana, : Association for Symbolic Logic ; Natick, : Peters, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 |
Descrizione fisica | XV, 540 p. : ill. ; 25 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1114-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0054509 |
Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium '98 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic August 9-15, 1998 / edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák |
Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 |
Descrizione fisica | XV, 540 p. : ill. ; 25 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1114-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00054509 |
Urbana, : Association for Symbolic Logic ; Natick, : A. K. Peters, 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|