Logic colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 / edited by Matthias Baaz, Sy-David Friedman, Jan Krajícek |
Autore | Logic colloquium : 2001 |
Pubbl/distr/stampa | Urbana, Ill., : Association for Symbolic Logic ; Wellesley, : Peters, 2005 |
Descrizione fisica | VIII, 486 p. ; 24 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1248-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0071361 |
Logic colloquium : 2001 | ||
Urbana, Ill., : Association for Symbolic Logic ; Wellesley, : Peters, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 / edited by Matthias Baaz, Sy-David Friedman, Jan Krajícek |
Autore | Logic colloquium : 2001 |
Pubbl/distr/stampa | Urbana, Ill., : Association for Symbolic Logic ; Wellesley, : Peters, 2005 |
Descrizione fisica | VIII, 486 p. ; 24 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1248-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00071361 |
Logic colloquium : 2001 | ||
Urbana, Ill., : Association for Symbolic Logic ; Wellesley, : Peters, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium '02 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers |
Autore | Logic colloquium : 2002 |
Pubbl/distr/stampa | San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 |
Descrizione fisica | VIII, 359 p. : ill. ; 23 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1301-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0071368 |
Logic colloquium : 2002 | ||
San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium '02 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002 / edited by Zoé Chatzidakis, Peter Koepke, Wolfram Pohlers |
Autore | Logic colloquium : 2002 |
Pubbl/distr/stampa | San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 |
Descrizione fisica | VIII, 359 p. : ill. ; 23 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1301-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00071368 |
Logic colloquium : 2002 | ||
San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium '03 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 / edited by Viggo Stoltenberg-Hansen, Jouko Vaananen |
Autore | Logic colloquium : 2003 |
Pubbl/distr/stampa | San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 |
Descrizione fisica | X, 408 p. ; 23 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1294-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0071369 |
Logic colloquium : 2003 | ||
San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium '03 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Helsinki, Finland, August 14-20, 2003 / edited by Viggo Stoltenberg-Hansen, Jouko Vaananen |
Autore | Logic colloquium : 2003 |
Pubbl/distr/stampa | San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 |
Descrizione fisica | X, 408 p. ; 23 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1294-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00071369 |
Logic colloquium : 2003 | ||
San Diego, : Association for Symbolic Logic ; Wellesley, : Peters, 2006 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000 / edited by René Cori ... [et al.] |
Autore | Logic colloquium : 2000 |
Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Wellesley, : Peters, 2005 |
Descrizione fisica | XI, 408 p. ; 24 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1252-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0071364 |
Logic colloquium : 2000 | ||
Urbana, : Association for Symbolic Logic ; Wellesley, : Peters, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Logic colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000 / edited by René Cori ... [et al.] |
Autore | Logic colloquium : 2000 |
Pubbl/distr/stampa | Urbana, : Association for Symbolic Logic ; Wellesley, : Peters, 2005 |
Descrizione fisica | XI, 408 p. ; 24 cm |
Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
ISBN | 15-688-1252-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00071364 |
Logic colloquium : 2000 | ||
Urbana, : Association for Symbolic Logic ; Wellesley, : Peters, 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|