Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
42189Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica
| 1995 | |
| Articolo in rivista | |
| Calcolo dei predicati e concetti metateorici in una teoria base dei fondamenti della matematica ATTI DELLA ACCADEMIA NAZIONALE DEI LINCEI. RENDICONTI LINCEI. MATEMATICA E APPLICAZIONI. Vol. 6. Pag.79-92 ISSN:1120-6330. | |
| E., De Giorgi; M., Forti; Lenzi, Giacomo; V. M., Tortorelli | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1995 | |
| Articolo in rivista | |
| Formalizations and models of a basic theory for the foundations of mathematics RENDICONTI DELL'ACCADEMIA NAZIONALE DELLE SCIENZE DETTA DEI XL. PARTE I. MEMORIE DI MATEMATICA E APPLICAZIONI. Vol. 19. Pag.129-157 ISSN:1128-8582. | |
| M., Grassi; Lenzi, Giacomo; V. M., Tortorelli | |
| Visualizza sul Database dei Prodotti (IRIS) |
