Giacomo LENZI | Pubblicazioni
Giacomo LENZI Pubblicazioni
| 1992 | |
| Articolo in rivista | |
| Weydert's sf3 has no recursive term model BULLETIN DE LA SOCIETÉ MATHÉMATIQUE DE LA BELGIQUE. Vol. 44. Pag.311-327 ISSN:0037-9478. | |
| Lenzi, Giacomo | |
| Visualizza sul Database dei Prodotti (IRIS) |
| 1992 | |
| Contributo in Atti di convegno | |
| Teorie base nu-arie. In: Atti del XV incontro di logica matematica Universita' di Camerino Pag.65-69 | |
| XV incontro di logica matematica Camerino 22-24 Aprile 1992 | |
| Lenzi, G. | |
| Visualizza sul Database dei Prodotti (IRIS) |
