On-line dictionary of logicsystem description
- Alsinet Bernadó, María Teresa
- Béjar Torres, Ramón
- Fernández Camón, César
- Manyà Serres, Felip
- Manzano Arjona, María Gracia (comp.)
Editorial: Universidad de Salamanca
Año de publicación: 2000
Páginas: 5-7
Congreso: International Congress on Tools for Teaching Logic (1. 2000. Salamanca)
Tipo: Aportación congreso