La completud de los fragmentos de la lógica proposicional clásica
- Pérez Ballestar, Jorge (coord.)
Éditorial: Universidad de Salamanca
ISBN: 84-7481-596-7
Année de publication: 1990
Pages: 177-188
Type: Chapitre d'ouvrage
Éditorial: Universidad de Salamanca
ISBN: 84-7481-596-7
Année de publication: 1990
Pages: 177-188
Type: Chapitre d'ouvrage