Normal view MARC view

Artosi, Alberto, 1951- (Nomi di persona)

Number of records used in: 1

Preferred form: Artosi, Alberto, 1951-

Metodi tableaux per la logica classica e modale / Alberto Artosi. - Bologna, 1995.