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.
Advanced Lukasiewicz calculus and MV-algebras / D. Mundici
| Advanced Lukasiewicz calculus and MV-algebras / D. Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Dordrecht [etc.] : Springer, 2011 |
| Descrizione fisica | XVIII, 256 p. ; 24 cm |
| Collana | Trends in logic |
| ISBN |
9789400708396
9789400708402 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990009730360403321 |
Mundici, Daniele
|
||
| Dordrecht [etc.] : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Algebraic foundations of many-valued reasoning / Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, and Daniele Mundici
| Algebraic foundations of many-valued reasoning / Roberto L. O. Cignoli, Itala M. L. D'Ottaviano, and Daniele Mundici |
| Autore | Cignoli, Roberto |
| Pubbl/distr/stampa | Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2000 |
| Descrizione fisica | ix, 231 p. ; 25 cm |
| Disciplina | 511.3 |
| Altri autori (Persone) |
D'Ottaviano, Itala M. L.
Mundici, Daniele |
| Collana | Trends in logic ; 7 |
| Soggetto topico |
Many-valued logic
Proposition (Logic) |
| ISBN | 0792360095 |
| Classificazione |
AMS 03G20
LC QA9.45.C54 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000646059707536 |
|
Cignoli, Roberto
|
||
| Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
L'insegnamento della logica / Ministero della Pubblica Istruzione, direzione generale istruzione classica, scientifica e magistrale ; in collaborazione con Associazione Italiana di Logica e sue Applicazione ; a cura di Lucia Ciarrapico e Daniele Mundici
| L'insegnamento della logica / Ministero della Pubblica Istruzione, direzione generale istruzione classica, scientifica e magistrale ; in collaborazione con Associazione Italiana di Logica e sue Applicazione ; a cura di Lucia Ciarrapico e Daniele Mundici |
| Autore | Italia : Direzione generale istruzione classica, scientifica e magistrale |
| Pubbl/distr/stampa | Padova : Tip. Veronese, [1996] |
| Descrizione fisica | v, 309 p. ; 22 cm. |
| Disciplina | 511.3 |
| Altri autori (Persone) |
Ciarrapico, Lucia
Mundici, Daniele |
| Altri autori (Enti) | Associazione italiana di Logica e sue Applicazioni |
| Soggetto topico |
Didactis of mathematics
Mathematical logic Methodology of mathematics |
| Classificazione |
AMS 00A35
AMS 03-06 ZDM E30 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISALENTO-991000998279707536 |
|
Italia : Direzione generale istruzione classica, scientifica e magistrale
|
||
| Padova : Tip. Veronese, [1996] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
L'insegnamento della logica / Ministero della Pubblica Istruzione, Direzione Generale Istruzione Classica, Scientifica e Magistrale ; in collaborazione con Associazione Italiana di Logica e sue Applicazioni ; a cura di Lucia Ciarrapico e Daniele Mundici ; con la collaborazione del Liceo Ginnasio Statale "Francesca Capece" Maglie (Lecce)
| L'insegnamento della logica / Ministero della Pubblica Istruzione, Direzione Generale Istruzione Classica, Scientifica e Magistrale ; in collaborazione con Associazione Italiana di Logica e sue Applicazioni ; a cura di Lucia Ciarrapico e Daniele Mundici ; con la collaborazione del Liceo Ginnasio Statale "Francesca Capece" Maglie (Lecce) |
| Autore | Italia. Direzione generale istruzione classica, scientifica e magistrale |
| Pubbl/distr/stampa | Milano : Università degli Studi di Milano, [1995] |
| Descrizione fisica | v, 309 p. ; 22 cm |
| Disciplina | 160 |
| Soggetto non controllato |
Logica
Ricorsività |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001446310403321 |
|
Italia. Direzione generale istruzione classica, scientifica e magistrale
|
||
| Milano : Università degli Studi di Milano, [1995] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
La scienza dei calcolatori / a cura di Daniele Mundici
| La scienza dei calcolatori / a cura di Daniele Mundici |
| Pubbl/distr/stampa | Milano : Le Scienze, 1990 |
| Descrizione fisica | 91 p. ; 29 cm |
| Disciplina | 004 |
| Collana | Le scienze, Quaderni |
| Soggetto non controllato | Informatica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990001779670403321 |
| Milano : Le Scienze, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica : metodo breve / Daniele Mundici
| Logica : metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Milano : Springer, 2011 |
| Descrizione fisica | XI, 126 p. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto non controllato | Logica matematica |
| ISBN | 978-88-470-1883-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009515070403321 |
|
Mundici, Daniele
|
||
| Milano : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logica : metodo breve / Daniele Mundici
| Logica : metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Edizione | [Milano : Springer, 2011] |
| Descrizione fisica | Pubblicazione disponibile anche in formato elettronico |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| ISBN | 978-88-470-1883-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNICAMPANIA-SUN0084613 |
|
Mundici, Daniele
|
||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica: metodo breve / Daniele Mundici
| Logica: metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Milano, : Springer, 2011 |
| Descrizione fisica | XI, 126 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compattezza e modelli nonstandard
Deduzione Automatica Logica Matematica Semantica di Tarski Teorema di Completezza di Gödel |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0084613 |
|
Mundici, Daniele
|
||
| Milano, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logica: metodo breve / Daniele Mundici
| Logica: metodo breve / Daniele Mundici |
| Autore | Mundici, Daniele |
| Pubbl/distr/stampa | Milano, : Springer, 2011 |
| Descrizione fisica | XI, 126 p. ; 24 cm |
| Soggetto topico | 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Compattezza e modelli nonstandard
Deduzione Automatica Logica Matematica Semantica di Tarski Teorema di Completezza di Gödel |
| ISBN | 978-88-470-1883-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0243869 |
|
Mundici, Daniele
|
||
| Milano, : Springer, 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||