Richard Zach's free 267-page metalogic textbook joins the open textbook collection
burkov · x · 2026-10-16
Richard Zach's open textbook Sets, Logic, Computation: An Open Introduction to Metalogic (2019) has been added to ChapterPal's collection of open textbooks. The 267-page book introduces metalogic—the mathematical study of logic itself—for intermediate CS and philosophy students, requiring only basic formal logic. Appendices cover proof techniques and mathematical induction; it includes 44 illustrations and 196 exercises, freely available.
More from Companies & People
- US universities go on an AI philosopher hiring spree as philosophy departments add tenure-track AI roles — AnnaCiaunica · 2026-10-16
- NVIDIA and Mercedes-Benz Expand Partnership on Next-Gen Automated Driving — nvidia · 2026-10-16
- Ex-Amazon Engineer: AI Has Killed Bezos's Six-Page Memo Culture — bibryam · 2026-10-16
- DHH's Omarchy Shenzhen Meetup Draws 400+ With Demos on Xiaomi, ARM and iPhone Ports — LoganGrasby · 2026-10-16
- Linus Torvalds slams 'don't use AI' rules: it's like banning compilers for kernel code — G0dZylla · 2026-10-16
- Beff Jezos claims rocket Cybertruck will be the first Tesla/SpaceX lunar vehicle — beffjezos · 2026-10-16