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.)
Publisher: Universidad de Salamanca
Year of publication: 2000
Pages: 5-7
Congress: International Congress on Tools for Teaching Logic (1. 2000. Salamanca)
Type: Conference paper