La completud de los fragmentos de la lógica proposicional clásica
ISSN: 0213-4403
Année de publication: 1988
Volumen: 3
Número: 2
Pages: 93-104
Type: Article
ISSN: 0213-4403
Année de publication: 1988
Volumen: 3
Número: 2
Pages: 93-104
Type: Article