Workshop on Constructive Classical Logic

Roma, April 1-2, 2004

Università Roma Tre
Facoltà di Lettere e Filosofia
Via Ostiense, 234
(Metro B: Marconi)

Aula Verra

Last modified: Tue Mar 30 10:15:23 CEST 2004