TY  - BOOK
AU  - Lorenzen, Paul
AU  - Ochoa Melida, Juan
TI  - Logica formal
U1  - 169 / 
PY  - 1970///
CY  - Madrid
PB  - Selecciones gráficas
KW  - Lógica
KW  - Formal
KW  - Clásica
N1  - Contenido : Silogística -- Lógica clásica de juntores -- Cálculos de la lógica de juntores -- Lógica efectiva de juntores -- Lógica de cuantores
ER  -