Haskell Brooks Curry - Foundations of Mathematical Logic
Published: 2010-10-21 | ISBN: 0486634620 | PDF | 416 pages | 8 MB
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.