@book{7293,
	author = {Lorenzen, Paul and Ochoa Melida, Juan},
	title = {Logica formal /},
	publisher = {Selecciones gráficas,},
	year = {1970.},
	address = {Madrid :}
}