[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.