num_pages: 416
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. It also explains elementary facts about lattices and similar algebraic systems. 1963 edition.
language: English
title: Foundations of Mathematical Logic
titlecomplete: Foundations of Mathematical Logic (Dover Books on Mathematics)
genres: Logic, Mathematics
ratings_count: 18
publisher: Dover Publications