Foundations of Mathematical Logic

Foundations of Mathematical Logic
Author: Haskell Brooks Curry
Publisher: Courier Corporation
Total Pages: 420
Release: 1977-01-01
Genre: Mathematics
ISBN: 9780486634623


Download Foundations of Mathematical Logic Book in PDF, Epub and Kindle

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. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.