Foundations of Mathematical Logic by Haskell B. Curry
Written by a pioneer of mathematical logic, this comprehensive graduate-level text explores the constructive theory of first-order predicate calculus. It covers formal methods — including algorithms and epitheory — and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems.
Dover Publications, 1977.
ISBN: 9780486634623. 408 pp.
Softcover. Very good.