La completud de los fragmentos de la lógica proposicional clásica
- Pérez Ballestar, Jorge (coord.)
Argitaletxea: Universidad de Salamanca
ISBN: 84-7481-596-7
Argitalpen urtea: 1990
Orrialdeak: 177-188
Mota: Liburuko kapitulua
Argitaletxea: Universidad de Salamanca
ISBN: 84-7481-596-7
Argitalpen urtea: 1990
Orrialdeak: 177-188
Mota: Liburuko kapitulua