論理学 - star_field public

論理学

/villagepump/@hoshihara#68a5bd6e0000000000c96c38

/sno2wman/論理学を独習したいあなたに

https://old.math.jp/wiki/数理論理学の参考書

Logic -- from Wolfram MathWorld

https://galaxy.opensyllabus.org/#!search/works/mathematical+logic

https://www.reddit.com/r/math/comments/1dgq8xg/opinion_on_open_logic_project_as_a_first_logic/

Open Logic Project

Logic I | Linguistics and Philosophy | MIT OpenCourseWare

Forall x

forall x: Calgary. A Free and Open Introduction to Formal Logic

https://forallx.openlogicproject.org/forallxyyc-solutions.pdf

solutions

Open Logic Projectより易しい

Barwise & Etchemendy

https://en.wikipedia.org/wiki/Language,_Proof_and_Logic

Peter Smith

https://www.logicmatters.net/

https://www.reddit.com/r/math/comments/1b7wplr/i_was_reading_peter_smith_logic_books_and/