TY - BOOK AU - Rosenbloom, Paul C, TI - The elements of mathematical logic AV - BC135 R55 PY - 1950/// CY - New York PB - Dover KW - Lógica simbólica y matemática ER -