Collegium Logicum Vol. 2

Collegium Logicum Vol. 2

by Kurt Gödel Society

Join Readfeed freeFind clubs reading this
Rate this book:

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
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.

Discuss Collegium Logicum Vol. 2 with other readers

Join or start a book club for Collegium Logicum Vol. 2 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 Collegium Logicum Vol. 2?

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

Can I discuss Collegium Logicum Vol. 2 with other readers online?

Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Collegium Logicum Vol. 2 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.