Info
Advances in logic : the North Texas Logic Conference, october 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang editors
| Advances in logic : the North Texas Logic Conference, october 8-10, 2004, University of North Texas, Denton, Texas / Su Gao, Steve Jackson, Yi Zhang editors |
| Autore | North Texas Logic Conference : <2004 |
| Pubbl/distr/stampa | Providence : American Mathematical Society, c2007 |
| Descrizione fisica | vii, 150 p. : ill. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Logica - Simbolica - Congressi
Teoria dei modelli |
| ISBN | 978-0-8218-3819-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008566590403321 |
North Texas Logic Conference : <2004
|
||
| Providence : American Mathematical Society, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic from computer science : proceedings of a workshop held november 13-17, 1989 / editor Yiannis N. Moschovakis
| Logic from computer science : proceedings of a workshop held november 13-17, 1989 / editor Yiannis N. Moschovakis |
| Autore | Workshop on logic from computer science : <1989 |
| Pubbl/distr/stampa | New York : Springer-Verlag, c1991 |
| Descrizione fisica | XI, 608 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Mathematical Sciences Research Institute publications |
| Soggetto non controllato |
Logica - Simbolica - Congressi
Logica - Matematica - Congressi Computer science - Congressi |
| ISBN | 0-387-97667-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001315200403321 |
|
Workshop on logic from computer science : <1989
|
||
| New York : Springer-Verlag, c1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||