Lógica intuicionista en tres horas (y pico)
- Salto Alemany, Francisco
- Méndez Rodríguez, José Manuel
Liburua:
Summa logicae en el siglo XXI [Archivo de ordenador]
Argitaletxea: Salamanca : Universidad de Salamanca, [2004
ISBN: 84-7800-627-3
Argitalpen urtea: 2004
Mota: Liburuko kapitulua