Foundations of Mathematical Logic - Haskell B. Curry

Foundations of Mathematical Logic

By Haskell B. Curry

  • Release Date: 2011-11-30
  • Genre: Mathematics

Description

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.