Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 1999 | |
| Articolo in rivista | |
| , A nontrivial model of Weydert's $SF_3$ minus the Leibniz rules. BULLETIN DE LA SOCIETE MATHEMATIQUE DE BELGIQUE. SERIE B. Vol. 6 (1). Pag.77-90 ISSN:0771-1158. | |
| Lenzi, Giacomo | |
| Digital Object Identifier (DOI): 10.36045/bbms/1103149969 Codice identificativo ISI: WOS:000079260800003 Codice identificativo SCOPUS: 2-s2.0-0041353962 | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Articolo in rivista | |
| A basic theory for the foundations of mathematics and other sciences. LA NUOVA CRITICA. NUOVA SERIE. Vol. 33-34. Pag.129-136 ISSN:1824-9663. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1999 | |
| Contributo in Atti di convegno | |
| On the structure of the monadic logic of the binary tree (MFCS 1999). In: MFCS 1999 Berlin Springer Lecture Notes in Computer Science 1672 Vol.1672, Pag.310-320 ISBN:3-540-66408-4 | |
| MFCS 1999 Szklarska Poreba September 6-10 | |
| Lenzi, Giacomo; D., Janin | |
| Codice identificativo SCOPUS: 2-s2.0-0002496363 | |
| Visualizza sul Database dei Prodotti (IRIS) |
