TY - BOOK AU - Curry,Haskell B. TI - Foundations of mathematical logic / T2 - Preface to the dover edition SN - 0486634620 AV - BC135 C87 1977 PY - 1977/// CY - New York PB - Dover Publications, KW - Lemb KW - Logica Matemática N1 - Incluye bibliografìa e ìndice ER -