Hi everyone,

I have a B.S. in Computer Science and really enjoyed the discrete mathematics course in my first three semesters. But I started working as a software engineer early, my focus drifted to IT-specific topics, and I never made my logic knowledge solid. Now I want to relearn it properly from scratch.

So I put together a self-study book for myself, drafted with an AI assistant, and I’m sharing it in case it helps someone else:
https://swicherwich.github.io/cogito-ergo-sum/

What’s in it: a “from absolute zero” part (reasoning, math language, sets and functions, a symbol atlas), propositional logic and natural deduction, predicate logic with careful treatment of the ∀/∃ rules, proof technique and induction, an overview of soundness, completeness and Gödel’s theorems, and a small Python proof checker and resolution prover with tests. It’s free (CC BY-SA) and works on phones, with dark mode and a dyslexia-friendly font.

Honest caveats: it hasn’t been reviewed by a logician, so there are probably mistakes, and the metatheory chapters are condensed rather than fully rigorous. If you spot an error or an unclear explanation, please open an issue: https://github.com/swicherwich/cogito-ergo-sum/issues

Again, hope it help somebody, and thank you for the feedback!