La completud de los fragmentos de la lógica proposicional clásica
- Pérez Ballestar, Jorge (coord.)
Verlag: Universidad de Salamanca
ISBN: 84-7481-596-7
Datum der Publikation: 1990
Seiten: 177-188
Art: Buch-Kapitel
Verlag: Universidad de Salamanca
ISBN: 84-7481-596-7
Datum der Publikation: 1990
Seiten: 177-188
Art: Buch-Kapitel