La completud de los fragmentos de la lógica proposicional clásica
ISSN: 0213-4403
Any de publicació: 1988
Volum: 3
Número: 2
Pàgines: 93-104
Tipus: Article
ISSN: 0213-4403
Any de publicació: 1988
Volum: 3
Número: 2
Pàgines: 93-104
Tipus: Article