UniSa - IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 97
Titolo Data di pubblicazione Autore(i) File
Estensioni contraddittorie della teoria ampia 1-gen-1989 Lenzi, Giacomo
Un modello aritmetico parziale della teoria ampia 1-gen-1989 Lenzi, Giacomo
Teorie base nu-arie 1-gen-1992 Lenzi, G.
Weydert's sf3 has no recursive term model 1-gen-1992 Lenzi, Giacomo
Introduzione delle variabili nelquadro delle teorie base dei fondamenti della matematica 1-gen-1994 E., De Giorgi; M., Forti; Lenzi, Giacomo
Una proposta di teorie base deifondamenti della matematica 1-gen-1994 E., De Giorgi; M., Forti; Lenzi, Giacomo
Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica 1-gen-1995 E., De Giorgi; M., Forti; Lenzi, Giacomo; V. M., Tortorelli
Formalizations and models of a basic theory for the foundations of mathematics 1-gen-1995 M., Grassi; Lenzi, Giacomo; V. M., Tortorelli
Verita' e giudizi in una nuovaprospettiva assiomatica 1-gen-1996 E., De Giorgi; M., Forti; Lenzi, Giacomo
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica 1-gen-1996 E., De Giorgi; Lenzi, Giacomo
A hierarchy theorem for the mu-calculus 1-gen-1996 Lenzi, Giacomo
Verso i sistemi assiomatici del2000 in matematica, logica e informatica 1-gen-1997 E., De Giorgi; M., Forti; Lenzi, Giacomo
A general axiomatic framework for the foundations of mathematics, logic and computer science 1-gen-1997 M., Forti; Lenzi, Giacomo
A fixpoint-based axiom system for $ACTL$. 1-gen-1998 Lenzi, Giacomo
A basic theory for the foundations of mathematics and other sciences. 1-gen-1999 Lenzi, Giacomo
, A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. 1-gen-1999 Lenzi, Giacomo
On the structure of the monadic logic of the binary tree (MFCS 1999) 1-gen-1999 Lenzi, Giacomo; D., Janin
Mu--depth 3 is more than 2: a game-theoretic proof 1-gen-2001 Lenzi, Giacomo
A new logical characterization of B"uchi automata 1-gen-2001 Lenzi, Giacomo
Monadic Second Order Logic And Its Fragments, in: M. Bauderon, A. Corradini (eds.), Proceedings of the GETGRATS Final Workshop, 1-gen-2001 Lenzi, Giacomo
Mostrati risultati da 1 a 20 di 97
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