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 |

Continue