La completud de los fragmentos de la lógica proposicional clásica
- Pérez Ballestar, Jorge (coord.)
Editorial: Universidad de Salamanca
ISBN: 84-7481-596-7
Any de publicació: 1990
Pàgines: 177-188
Tipus: Capítol de llibre
Editorial: Universidad de Salamanca
ISBN: 84-7481-596-7
Any de publicació: 1990
Pàgines: 177-188
Tipus: Capítol de llibre