IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca
IRIS è il sistema di gestione integrata dei dati della ricerca (persone, progetti, pubblicazioni, attività) adottato dall'Università degli Studi di Milano.
AIR nasce in UNIMI nel 2006 con lo scopo di raccogliere, documentare e conservare le informazioni sulla produzione scientifica dell'Università degli Studi di Milano e costituisce di fatto l'Anagrafe della ricerca dell'Ateneo.
EnglishTemi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz / S. Aguzzoli. - In: BOLLETTINO DELL'UNIONE MATEMATICA ITALIANA. A. - ISSN 0392-4033. - 3.A(2000 Apr), pp. 9-12.
| Titolo: | Temi geometrici e di teoria della dimostrazione nelle logiche proposizionali di Łukasiewicz |
| Autori: | AGUZZOLI, STEFANO (Primo) |
| Parole Chiave: | Logica di Lukasiewicz |
| Settore Scientifico Disciplinare: | Settore INF/01 - Informatica Settore MAT/01 - Logica Matematica |
| Data di pubblicazione: | apr-2000 |
| Rivista: | |
| Tipologia: | Article (author) |
| Appare nelle tipologie: | 01 - Articolo su periodico |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2019