Goodreads helps you keep track of books you want to read.
Start by marking “Foundations of Mathematical Logic” as Want to Read:
Foundations of Mathematical Logic
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.
Paperback, 416 pages
Published November 18th 2010 by Dover Publications
(first published 1977)
To see what your friends thought of this book, please sign up.