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
Any de publicació: 2000
Pàgines: 5-7
Congrés: International Congress on Tools for Teaching Logic (1. 2000. Salamanca)
Tipus: Aportació congrés