TY - BOOK AU - Kleene,Stephen Cole TI - Mathematical logic SN - 0486425339 AV - QA9 K652 2002 U1 - 511.3 21 PY - 2002/// CY - Mineola, New York PB - Dover KW - Matemáticas KW - Filosofía KW - Lógica simbólica y matemática N1 - Publicado originalmente en: New York : Wiley, 1967 ER -