TY - BOOK AU - Steen, Stourton William Peile, TI - Mathematical logic with special reference to the natural numbers AV - QA9 S83 PY - 1972/// CY - Cambridge PB - Eng. university KW - Números naturales KW - Lógica simbólica y matemática ER -