TY - BOOK AU - Suppes,Patrick AU - Hill,Shirley A. TI - First course in mathematical logic AV - BC135 S859 PY - 1964/// CY - Waltham, massachusetts PB - Blaisdell KW - Lógica simbólica y matemática ER -