Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
Book:
Summa logicae en el siglo XXI [Archivo de ordenador]
Publisher: Salamanca : Universidad de Salamanca, [2004
ISBN: 84-7800-627-3
Year of publication: 2004
Type: Book chapter