CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostra risultati da 21 a 40 di 76
Titolo Data di pubblicazione Autore(i) File
The consistency problem for positive comprehension principles 1-gen-1989 Forti, Marco; Hinnion, R.
Models of selfdescriptive set theories 1-gen-1989 Forti, Marco; Honsell, F.
Elements of large order in $(p,q)$-groups, 1-gen-1991 Dvornicich, Roberto; Forti, Marco
Weak foundation and antifoundation properties of positively comprehensive hyperuniverses 1-gen-1992 Forti, Marco; Honsell, F.
On the distribution of non-paracyclic groups 1-gen-1994 Cellini, P; Forti, Marco
Introduzione delle variabili nel quadro delle Teorie Base dei Fondamenti della Matematica 1-gen-1994 De Giorgi, E; Forti, Marco; Lenzi, G.
Processes and hyperuniverses 1-gen-1994 Forti, Marco; F., Honsell; M., Lenisa
Una proposta di teorie base dei Fondamenti della Matematica 1-gen-1994 De Giorgi, E; Forti, Marco; Lenzi, G.
Calcolo dei predicati e concetti metateorici in una teoria base dei Fondamenti della Matematica 1-gen-1995 Degiorgi, E; Forti, Marco; Lenzi, G; Tortorelli, VINCENZO MARIA
Axiomatic characterizations of hyperuniverses and applications 1-gen-1996 Forti, Marco; Honsell, F.; Lenisa, M.
Choice principles in hyperuniverses 1-gen-1996 Forti, Marco; Honsell, F.
A general construction of hyperuniverses 1-gen-1996 Forti, Marco; Honsell, F.
Verita` e giudizi in una nuova prospettiva assiomatica 1-gen-1996 De Giorgi, E; Forti, Marco; Lenzi, G.
An axiomatization of partial n-place operations 1-gen-1997 Forti, Marco; Honsell, F.; Lenisa, M.
A general axiomatic framework for the Foundations of Mathematics, Logic and Computer Science, 1-gen-1997 Forti, Marco; Lenzi, G.
Verso i sistemi assiomatici del 2000 in Matematica, Logica e Informatica 1-gen-1997 De Giorgi, E; Forti, Marco; Lenzi, G.
Dalla Matematica e dalla Logica alla Sapienza 1-gen-1997 De Giorgi, E; Forti, Marco
Addendum and Corrigendum to Choice principles in hyperuniverses 1-gen-1998 Forti, Marco; Honsell, F.
Cardinal invariants and independence results in the poset of precompact group topologies 1-gen-1998 Berarducci, Alessandro; Dikranjan, D.; Forti, Marco; Watson, S.
Ennio De Giorgi 1-gen-1999 Ambrosio, L.; Dal Maso, G.; Forti, Marco; Miranda, M.; Spagnolo, S.
Mostra risultati da 21 a 40 di 76
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