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 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 | ||
| ||
A deductive theory of space and time / Saul a. Basri ; L.E.J. Brouwer...[et al.] (Eds.)
| A deductive theory of space and time / Saul a. Basri ; L.E.J. Brouwer...[et al.] (Eds.) |
| Autore | BASRI, Saul A. |
| Pubbl/distr/stampa | Amsterdam : North-Holland, 1966 |
| Descrizione fisica | XI, 163 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logica matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003228640203316 |
|
BASRI, Saul A.
|
||
| Amsterdam : North-Holland, 1966 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker
| A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker |
| Autore | NGUYEN, Hung T. |
| Edizione | [2nd ed.] |
| Pubbl/distr/stampa | Boca Raton : Chapman and Hall/CRC, c2000 |
| Descrizione fisica | 373 p. : ill. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) | WALKER, Elbert A. |
| Soggetto topico |
Insiemi
Reti neurali Logica matematica |
| ISBN | 0-8493-1659-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000306090203316 |
|
NGUYEN, Hung T.
|
||
| Boca Raton : Chapman and Hall/CRC, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
A Formal Background to Mathematics : Logic, Sets and Numbers / R.E. Edwards
| A Formal Background to Mathematics : Logic, Sets and Numbers / R.E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1979 |
| Descrizione fisica | 1 v. in 2 (p. 933 compless.) ; 23 cm |
| Disciplina | 511.3 |
| ISBN | 0-387-90431-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990000834990403321 |
|
Edwards, Robert E.
|
||
| New York : Springer-Verlag, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A formal background to mathematics / R. E. Edwards
| A formal background to mathematics / R. E. Edwards |
| Autore | Edwards, Robert E. |
| Pubbl/distr/stampa | New York : Springer-Verlag, 1979-1980 |
| Descrizione fisica | 2 v. in 4 ; 24 cm |
| Disciplina | 511.3 |
| Collana | Universitext |
| Soggetto non controllato |
Logica matematica
Teoria degli insiemi Strutture algebriche Funzioni reali Funzioni di una variabile complessa |
| ISBN |
0-387-90431-X
0-387-90513-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1a: Logic, sets and numbers. XXXIV, 467 p. 1b: Logic, sets and numbers. 466 p. 2a: A critical approach to elementary analysis. XLVII, 606 p. 2b: A critical approach to elementary analysis. 564 p. |
| Record Nr. | UNINA-990001243870403321 |
|
Edwards, Robert E.
|
||
| New York : Springer-Verlag, 1979-1980 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A formalization of set theory without variables / Alfred Tarski, Steven Givant
| A formalization of set theory without variables / Alfred Tarski, Steven Givant |
| Autore | Tarski, Alfred <1901-1983> |
| Pubbl/distr/stampa | Providence : American Mathematical Society, 1987 |
| Descrizione fisica | XXI, 318 p., 26 cm |
| Disciplina | 511.3 |
| Collana | Colloquium Publications |
| Soggetto non controllato |
Logica generale
Teoria classica degli insiemi - Assiomatica |
| ISBN | 0-8218-1041-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001317400403321 |
|
Tarski, Alfred <1901-1983>
|
||
| Providence : American Mathematical Society, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A graphic apology for symmetry and implicitness / A. Carbone, S. Semmes
| A graphic apology for symmetry and implicitness / A. Carbone, S. Semmes |
| Autore | Carbone, Alessandra |
| Pubbl/distr/stampa | Oxford : Uxford University Press, c2000 |
| Descrizione fisica | xvii, 501 p. ; 5 cm |
| Disciplina | 511.3 |
| Collana | Oxford mathematical monographs |
| Soggetto non controllato |
Combinatoria
Teoria dei gruppi Teoria dei grafi |
| ISBN | 0-19-850729-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001447940403321 |
|
Carbone, Alessandra
|
||
| Oxford : Uxford University Press, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
A mathematical introduction to logic / Herbert B. Enderton
| A mathematical introduction to logic / Herbert B. Enderton |
| Autore | Enderton, Herbert B. |
| Pubbl/distr/stampa | San Diego [etc.] : Academic Press, c1972 |
| Descrizione fisica | XIII, 295 p. : ill. ; 24 cm. |
| Disciplina | 511.3 |
| Soggetto topico | Logica matematica |
| ISBN | 0-12-238450-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNIBAS-000011185 |
|
Enderton, Herbert B.
|
||
| San Diego [etc.] : Academic Press, c1972 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
A modern introduction to logic / Stebbing L. S.
| A modern introduction to logic / Stebbing L. S. |
| Autore | Stebbing, L. S. |
| Pubbl/distr/stampa | London, : Methuen, 1950 |
| Descrizione fisica | XX, 525 p. ; 23 cm |
| Disciplina | 511.3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910631000203321 |
|
Stebbing, L. S.
|
||
| London, : Methuen, 1950 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
