✳flâneur — a map of the web's best reading

Open Logic Project Builds

builds.openlogicproject.org · 1,434 words · saved by 1 readers

This site contains PDFs built from the source LaTeX files of the most recent version of the Open Logic Text. We have PDFs of the complete text in the Open Logic master branch, arranged in a somewhat sensible manner, including editorial comments. It's not intended as a textbook, but it shows what's there. There are already a few textbooks that show how one might "remix" the material in the Open Logic Project to produce nice textbooks. These vary in the material that's included, the design, and the configuration options used. They may also include additional material specific to those courses. A textbook on metalogic, developed for Calgary's Logic II course: includes the material on set theory, first-order logic (including both sequent calculus and natural deduction), and Turing machines (including undecidability). Appendices cover proofs and induction and biographies of some logicians. This text also includes chapter summaries and a glossary. Problems are collected at the end of chapter

Open Logic Project Builds --> Open Logic Project Builds Site Open Logic Project Builds This site contains PDFs built from the source LaTeX files of the most recent version of the Open Logic Text . Complete PDFs We have PDFs of the complete text in the Open Logic master branch, arranged in a somewhat sensible manner, including editorial comments. It's not intended as a textbook, but it shows what's there. Open Logic Text, Complete Clean Version : one big PDF of all the material, without extra markup. Open Logic Text, Complete Debug Version : one big PDF with additional markup to identify source

Explore this link on the map →

saved by

related reading