Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
1996 | |
Articolo in rivista | |
La teoria '95. Una proposta di teoriaaperta e non riduzionista dei fondamenti della matematica RENDICONTI DELL'ACCADEMIA NAZIONALE DELLE SCIENZE DETTA DEI XL. PARTE I. MEMORIE DI MATEMATICA E APPLICAZIONI. Vol. 20. Pag.7-34 ISSN:1128-8582. | |
E., De Giorgi; Lenzi, Giacomo | |
Visualizza sul Database dei Prodotti (IRIS) |
1996 | |
Contributo in Atti di convegno | |
A hierarchy theorem for the mu-calculus. In: ICALP '96 BERLIN Springer Vol.1099, Pag.87-97 ISBN:3540614400 | |
ICALP '96 Paderborn, Germany 8-12 July 1996 | |
Lenzi, Giacomo | |
Codice identificativo SCOPUS: 2-s2.0-84947755850 | |
Visualizza sul Database dei Prodotti (IRIS) |
1996 | |
Contributo in volume (Capitolo o Saggio) | |
Verita' e giudizi in una nuovaprospettiva assiomatica. In Barone, Basti, Testi Il fare della scienza Pag.233-252 ISBN:8871150708 | |
E., De Giorgi; M., Forti; Lenzi, Giacomo | |
Visualizza sul Database dei Prodotti (IRIS) |