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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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
|
| Pubblicazione: | 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] |
| Persona (resp. second.): | Buss, Samuel R. |
| Hájek, Petr | |
| Pudlák, Pavel | |
| Titolo autorizzato: | Logic colloquium '98 |
| ISBN: | 15-688-1114-4 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN0054509 |
| Lo trovi qui: | Univ. Vanvitelli |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in logic Chicago . -Association for symbolic logic ; 13