TY - BOOK AU - Lorenzen,Paul TI - Lógica formal PY - 1970/// CY - Madrid PB - Selecciones Científicas KW - Lógica simbólica y matemática ER -