Mathematical Logic: Part 1

Mathematical Logic: Part 1

Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

by René Cori, Daniel Lascar

360 pages· 2000· ISBN 9780191589775
Join Readfeed freeFind clubs reading this bookBrowse readable books
About
Logic forms the basis of mathematics, and is hence a fundamental part of any mathematics course. In particular, it is a major element in theoretical computer science and has undergone a huge revival with the explosion of interest in computers and computer science. This book provides students with a clear and accessible introduction to this important subject. The concept of model underlies the whole book, giving the text a theoretical coherence whilst still covering a wide area of logic.

Discuss Mathematical Logic: Part 1 with other readers

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

Sign up freeBrowse book clubs

Frequently asked questions

How do I join a book club for Mathematical Logic: Part 1?

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

Can I discuss Mathematical Logic: Part 1 with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Mathematical Logic: Part 1 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.