TY - BOOK AU - Tarski,Alfred TI - Introducción a la lógica y a la metodología de las ciencias deductivas U1 - 511.3 PY - 1977/// CY - Madrid PB - Espasa-Calpe KW - Lógica matemática KW - Metodología ER -