Appalachian set theory, 2006-2012 / Edited by James Cummings, Ernest Schimmerling |
Pubbl/distr/stampa | Cambridge : Cambridge University Press, 2013 |
Descrizione fisica | XI, 419 p. ; 23 cm |
Disciplina | 511.322 |
Collana | London Mathematical Society lecture note series |
Soggetto non controllato |
Logica matematica e fondamenti - Atti di conferenze
Teoria degli insiemi Atti di conferenze di interesse specifico vario |
ISBN | 978-1-107-60850-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009804110403321 |
Cambridge : Cambridge University Press, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Dynamical formal epistemology / edited by Patrick Girard, Olivier Roy and Mathieu Marion |
Autore | Girard, Patrick |
Pubbl/distr/stampa | Dordrecht : Springer, 2011 |
Descrizione fisica | X, 242 p. ; 24 cm |
Disciplina | 511 |
Altri autori (Persone) |
Roy, Olivier
Marion, Mathieu |
Collana | Synthese library |
Soggetto non controllato |
Logica matematica e fondamenti - Atti di conferenze
Logica della conoscenza e delle opinioni Atti di conferenze di interesse specifico vario |
ISBN |
978-94-007-0073-4
978-94-007-0074-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009338740403321 |
Girard, Patrick | ||
Dordrecht : Springer, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Groups and model theory : in honor of Rüdiger Göbel's 70th birthday, May 30-June 3, 2011, conference center "Die Wolfsburg", Mühlheim an der Ruhr, Germany / Luz Strüngmann, Manfred Droste, László Fuchs, Katrin Tent, editors |
Pubbl/distr/stampa | Providence : American Mathematical Society, 2012 |
Descrizione fisica | XVII, 316 p. ; 26 cm |
Disciplina | 512'.2 |
Collana | Contemporary mathematics |
Soggetto non controllato |
Teoria dei gruppi e generalizzazioni - Atti di conferenze
Logica matematica e fondamenti - Atti di conferenze Gruppi Abeliani |
ISBN | 978-0-8218-6923-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009647080403321 |
Providence : American Mathematical Society, 2012 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Model theoretic methods in finite combinatorics : AMS-ASL joint special session, January 5-8, 2009, Washington, DC / Martin Grohe, Johann A. Makowsky, editors |
Pubbl/distr/stampa | Providence : American Mathematical Society, 2011 |
Descrizione fisica | VIII, 519 p. ; 26 cm |
Disciplina | 519.2 |
Collana | Contemporary mathematics |
Soggetto non controllato |
Logica matematica e fondamenti - Atti di conferenze
Combinatorica - Atti di conferenze Scienza del computer - Atti di conferenze |
ISBN | 978-0-8218-4943-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009526110403321 |
Providence : American Mathematical Society, 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|