Sfoglia per Rivista
Mostrati risultati da 1 a 3 di 3
A unifying approach to computable settheory
1998-01-01 Cantone, Domenico; Ursino, Pietro
LATTICE-ORDERED ABELIAN GROUPS and PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE
2016-01-01 Caramello, Olivia; Russo, Anna Carla
Strong Constructivity of Second-Order Intuitionistic Arithmetic
1999-01-01 Benini, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A unifying approach to computable settheory | 1-gen-1998 | Cantone, Domenico; Ursino, Pietro | |
LATTICE-ORDERED ABELIAN GROUPS and PERFECT MV-ALGEBRAS: A TOPOS-THEORETIC PERSPECTIVE | 1-gen-2016 | Caramello, Olivia; Russo, Anna Carla | |
Strong Constructivity of Second-Order Intuitionistic Arithmetic | 1-gen-1999 | Benini, Marco |
Mostrati risultati da 1 a 3 di 3
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile