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, explains elementary facts about lattices and similar algebraic systems, and more. 1963 edition.
Reprint of McGraw-Hill Publishers, New York, 1963 edition.
|Availability||Usually ships in 24 to 48 hours|
|Author/Editor||Haskell B. Curry|
|Dimensions||5 3/8 x 8|