Logic of Computation

Logic of Computation

by Helmut Schwichtenberg

Book 157 of NATO ASI Series, Series F: Computer and Systems Sciences --

Join Readfeed freeFind clubs reading this bookBrowse readable books
About
The latest work by the world's leading authorities on the use of formal methods in computer science is presented in this volume, based on the 1995 International Summer School in Marktoberdorf, Germany. Logic is of special importance in computer science, since it provides the basis for giving correct semantics of programs, for specification and verification of software, and for program synthesis. The lectures presented here provide the basic knowledge a researcher in this area should have and give excellent starting points for exploring the literature. Topics covered include semantics and category theory, machine based theorem proving, logic programming, bounded arithmetic, proof theory, algebraic specifications and rewriting, algebraic algorithms, and type theory.

Discuss Logic of Computation with other readers

Join or start a book club for Logic of Computation 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 Logic of Computation?

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

Can I discuss Logic of Computation with other readers online?

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