Curry, Haskell B.

Foundations of mathematical logic / by Haskell B. Curry - New York McGraw-Hill 1963 - 408p.

511.3 / CUR/F