Wow! eBook
Foundations of Mathematical Logic 2nd Edition
Author(s): Haskell B. Curry (Author), W E Pfaffenberger (Author)
- Publisher: Dover Publications Inc
- Publication Date: 28 Mar. 2003
- Edition: 2nd
- Language: English
- Print length: 416 pages
- ISBN-10: 0486634620
- ISBN-13: 9780486634623
Book 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.
Editorial Reviews
About the Author
Haskell B. Curry was Evan Pugh Research Professor Emeritus at Pennsylvania State University. He was also a member of the Institute for Advanced Study, Princeton; a Director of the Institute for Foundational Research at the University of Amsterdam; and President of the Association for Symbolic Logic.
