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|