Foundations of Mathematical Logic

Foundations of Mathematical Logic

4.11 - 1251 ratings - Source

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 a€” including algorithms and epitheory a€” and offers a brief treatment of Markov's approach to algorithms. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.Appropriate changes of terminology, such as replacements of -name of an elementa#39; by -sentence designating a statementa#39; ... We shall say that a tree diagram D is labeled (relative to a construction OI) just when each node of D is marked with aanbsp;...

Title:Foundations of Mathematical Logic
Author:Haskell Brooks Curry
Publisher:Courier Corporation - 1963


You Must CONTINUE and create a free account to access unlimited downloads & streaming