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.)
Verlag: Universidad de Salamanca
Datum der Publikation: 2000
Seiten: 5-7
Kongress: International Congress on Tools for Teaching Logic (1. 2000. Salamanca)
Art: Konferenz-Beitrag