Self-Teaching Mathematical Logic: Recommended Textbooks

The Books are: 1. "Book of Proof" by Richard Hammack 2. "ForAllX" By OpenLogicProject 3. "Sets, Logic, Computation" by OpenLogicProject Join the Discord, its a great resource for asking math and science related questions/getting inspired on your journey https://discord.com/invite/XfncZKydGC stay tropical remember... Its a 𝘽𝙡𝙤𝙤𝙢𝙚𝙧 𝙍𝙚𝙫𝙤𝙡𝙪𝙩𝙞𝙤𝙣™ baby Keywords for the algo: sets logic mathematical logic godels incompleteness proof turing test alan turing set theory von neumann how to self teach math self education mathematics best textbooks for learning math forallx for all x sets, logic, computation