Curry, Haskell B. Foundations of mathematical logic / by Haskell B. Curry - New York McGraw-Hill 1963 - 408p. Dewey Class. No.: 511.3 / CUR/F