TY - BOOK AU - Curry,Haskell B. TI - Foundations of mathematical logic SN - 0486634620 : PY - 1977/// CY - New York PB - Dover Publications KW - Mathematical logic N1 - "An unabridged and corrected republication of the work first published by the McGraw-Hill Book Company, inc., in 1963."; Includes index ER -