La completud de los fragmentos de la lógica proposicional clásica
- Pérez Ballestar, Jorge (coord.)
Publisher: Universidad de Salamanca
ISBN: 84-7481-596-7
Year of publication: 1990
Pages: 177-188
Type: Book chapter
Publisher: Universidad de Salamanca
ISBN: 84-7481-596-7
Year of publication: 1990
Pages: 177-188
Type: Book chapter