Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
A concise introduction to mathematical logic / Wolfgang Rautenberg
| A concise introduction to mathematical logic / Wolfgang Rautenberg |
| Autore | Rautenberg, Wolfang |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | New York : Springer, 2010 |
| Descrizione fisica | XXI, 319 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica e fondamenti
Programmazione logica |
| ISBN |
978-1-4419-1220-6
978-1-4419-1221-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009213900403321 |
Rautenberg, Wolfang
|
||
| New York : Springer, 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A course on mathematical logic / Shashi Mohan Srivastava
| A course on mathematical logic / Shashi Mohan Srivastava |
| Autore | Srivastava, Shashi Mohan |
| Edizione | [2. ed.] |
| Pubbl/distr/stampa | New York : Springer, 2013 |
| Descrizione fisica | IX, 198 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica e fondamenti
Logica classica del primo ordine Eliminazione dei quantificatori - Completezza del modello ed argomenti collegati Ultraprodotti e costruzioni collegate |
| ISBN | 978-1-4614-5745-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009793260403321 |
|
Srivastava, Shashi Mohan
|
||
| New York : Springer, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A course on mathematical logic / S. M. Srivastava
| A course on mathematical logic / S. M. Srivastava |
| Autore | Srivastava, S.M. |
| Pubbl/distr/stampa | New York : Springer, c2008 |
| Descrizione fisica | x, 140 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato | Logica matematica e fondamenti |
| ISBN | 978-0-387-76275-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008689970403321 |
|
Srivastava, S.M.
|
||
| New York : Springer, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Hausdorff on ordered sets / J.M,Plotkin, editor
| Hausdorff on ordered sets / J.M,Plotkin, editor |
| Autore | Plotkin, J.M. |
| Pubbl/distr/stampa | Providence : American mathematical society, c2005 |
| Descrizione fisica | xviii,322 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | History of mathematics |
| Soggetto non controllato |
Storia della matematica - 20 secolo
Logica matematica e fondamenti |
| ISBN | 0-8218-3788-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008203110403321 |
|
Plotkin, J.M.
|
||
| Providence : American mathematical society, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La théorie des ensembles / Alain Bouvier
| La théorie des ensembles / Alain Bouvier |
| Autore | Bouvier, Alain |
| Edizione | [3. ed.] |
| Pubbl/distr/stampa | Paris : Presses Universitaires de France, 1982 |
| Descrizione fisica | 128 p. ; 18 cm |
| Disciplina | 511.322 |
| Collana | Que sais-je? |
| Soggetto non controllato |
Logica matematica e fondamenti
Teoria degli insiemi |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-990009964510403321 |
|
Bouvier, Alain
|
||
| Paris : Presses Universitaires de France, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Lectures in logic and set theory / G. Tourlakis
| Lectures in logic and set theory / G. Tourlakis |
| Autore | Tourlakis, George |
| Pubbl/distr/stampa | Cambridge : Cambridge University Pres, c2003 |
| Descrizione fisica | 2v(xi,328 p.; ix,575 p.) ; cm24 |
| Disciplina | 511.3 |
| Collana | Cambridge studies in advanced mathematics |
| Soggetto non controllato |
Teoria degli insiemi
Logica matematica e fondamenti |
| ISBN |
0-521-75373-2
0-521-75374-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.: mathematical logic 2.: set theory |
| Record Nr. | UNINA-990003974310403321 |
|
Tourlakis, George
|
||
| Cambridge : Cambridge University Pres, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Many-dimensional modal logics: theory and applications / D.M. Gabay,...[e altri]
| Many-dimensional modal logics: theory and applications / D.M. Gabay,...[e altri] |
| Autore | Gabbay, Dov M. <1945- > |
| Pubbl/distr/stampa | Hungary : Elsevier, c2003 |
| Descrizione fisica | xviii, 747 p. ; 24 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Kurucz, A.
Wolter, Frank <1972- > Zakharyaschev, M. |
| Collana | Studies in logic |
| Soggetto non controllato |
Logica matematica e fondamenti
Logica modale |
| ISBN | 0-444-50826-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990003990420403321 |
|
Gabbay, Dov M. <1945- >
|
||
| Hungary : Elsevier, c2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Nonlinear analysis and optimization I Nonlinear Analysis and optimization II : a conference in celebration of Alex Ioffe's 70th and Simeon Reich's 60th byrthdays, June 18-24, 2008, Haifa, Israel / Arie Leizarowitz ... [et al.], editors
| Nonlinear analysis and optimization I Nonlinear Analysis and optimization II : a conference in celebration of Alex Ioffe's 70th and Simeon Reich's 60th byrthdays, June 18-24, 2008, Haifa, Israel / Arie Leizarowitz ... [et al.], editors |
| Pubbl/distr/stampa | Providence : American Mathematical Society |
| Descrizione fisica | 2 v. ; 26 cm |
| Disciplina | 515.7 |
| Collana | Contemporary mathematics |
| Soggetto non controllato |
Logica matematica e fondamenti
Teoria dei numeri Analisi funzionale Teoria degli operatori |
| ISBN |
978-0-8218-4834-0
978-0-8218-4835-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1.: Nonlinear analysis 2.: Optimization |
| Record Nr. | UNINA-990009215040403321 |
| Providence : American Mathematical Society | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Theorems in school : from history, epistemology and cognition to classroom practice / Paolo Boero editor
| Theorems in school : from history, epistemology and cognition to classroom practice / Paolo Boero editor |
| Pubbl/distr/stampa | Rotterdam : Sense Publishers, c2007 |
| Descrizione fisica | vi, 327 p. ; 24 cm |
| Disciplina | 511.3 |
| Collana | New directions in mathematics and science education |
| Soggetto non controllato | Logica matematica e fondamenti |
| ISBN | 90-77874-21-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990008547690403321 |
| Rotterdam : Sense Publishers, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||