Foundations of Mathematical Logic

Foundations of Mathematical Logic

by Haskell Brooks Curry

408 pages· 1963· ISBN 9780486634623

Browse books you can read free on Readfeed

No club is reading this yet — be the first to start one

Start a club free
About
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.

Discuss Foundations of Mathematical Logic with other readers

Join or start a book club for Foundations of Mathematical Logic on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.

Frequently asked questions

How do I join a book club for Foundations of Mathematical Logic?

Sign up free on Readfeed, then browse public clubs or start your own club with Foundations of Mathematical Logic as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.

Can I discuss Foundations of Mathematical Logic with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Foundations of Mathematical Logic with readers worldwide — whether your club is virtual, in-person, or hybrid.

Is Readfeed free?

Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.