TY - BOOK AU - Hilbert,David TI - Principles of mathematical logic AV - BC135 H5 PY - 1950/// CY - New York PB - Chelsea KW - Lógica simbólica y matemática ER -