La completud de los fragmentos de la lógica proposicional clásica
ISSN: 0213-4403
Ano de publicación: 1988
Volume: 3
Número: 2
Páxinas: 93-104
Tipo: Artigo
ISSN: 0213-4403
Ano de publicación: 1988
Volume: 3
Número: 2
Páxinas: 93-104
Tipo: Artigo