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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|