La completud de los fragmentos de la lógica proposicional clásica
- Pérez Ballestar, Jorge (coord.)
Editorial: Universidad de Salamanca
ISBN: 84-7481-596-7
Ano de publicación: 1990
Páxinas: 177-188
Tipo: Capítulo de libro
Editorial: Universidad de Salamanca
ISBN: 84-7481-596-7
Ano de publicación: 1990
Páxinas: 177-188
Tipo: Capítulo de libro