Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
uninsubria.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
JOURNAL OF APPLIED NON-CLASSICAL LOGICS
Rivista
Codice:
E090526
ISSN:
1166-3081
Dati Generali
Dati Generali
Pubblicazioni (2)
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications
Articolo
A discrete free MV-algebra over one generator
Articolo
No Results Found
