Identificazione attraverso mondi e concetti assoluti in logica temporale. 1. - Semantica e risultati di non caratterizzabilità
Rossetto, Tiziana (sec. 20.-)
In: Atti. Classe di scienze fisiche, matematiche e naturali. - Tomo 146. (1987-1988). - Venezia : Istituto Veneto di Scienze, Lettere ed Arti, 1988. - 161-188 p.
Risorsa digitale