Foundations of mathematical logic
Curry, Haskell B.(Haskell Brooks)
New York Dover Publications [etc.] London Constable
1977
Originally published: New York ; London : McGraw-Hill, 1963
Bibliography: p.369-390. - Includes index
Logic, Symbolic and mathematical.