skip to main content

On general operators binding variables in an extensional first order theory

Bressan, Aldo (1926-2007)

In: Atti. Classe di scienze fisiche, matematiche e naturali. - Tomo 140. (1981-1982). - Venezia : Istituto Veneto di Scienze, Lettere ed Arti, 1982. - 115-130 p.

Risorsa digitale

Ricerca in corso nelle risorse remote ...