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