JAVIER LEGRIS

Deducción y representación. Una introducción a la lógica de primer orden

Lugar: BUENOS AIRES; Año: 2001; p. 134

JAVIER LEGRIS

Eine epistemische Interpretation der intuitionistischen Logik

Lugar: Würzburg; Año: 1990; p. 138