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
THE BULLETIN OF SYMBOLIC LOGIC
Rivista
Codice:
E027597
ISSN:
1079-8986
Dati Generali
Dati Generali
Pubblicazioni (3)
A unifying approach to computable settheory
Articolo
LATTICE-ORDERED ABELIAN GROUPS and PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
Articolo
Strong Constructivity of Second-Order Intuitionistic Arithmetic
Abstract
No Results Found
