[DOWNLOAD] "Foundations of Mathematical Logic" by Haskell B. Curry # Book PDF Kindle ePub Free
eBook details
- Title: Foundations of Mathematical Logic
- Author : Haskell B. Curry
- Release Date : January 30, 2011
- Genre: Mathematics,Books,Science & Nature,
- Pages : * pages
- Size : 10517 KB
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.