TY  - BOOK
AU  - Lorenzen, Paul.
TI  - Formal logic
T2  - Synthese library
U1  - 160 
PY  - 1965///
CY  - Dordrecht
PB  - Reidel
KW  - Lógica
ER  -