Logic and Set Theory
Rice University
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
More resources on Axiom of Choice
MathWorld: Axiom of Choice
Concise reference with proofs
nLab: Axiom of Choice
Category-theoretic perspective, favored by practitioners
Stanford Encyclopedia of Philosophy: Axiom of Choice
Comprehensive philosophical and mathematical overview, top rec in r/math
Banach-Tarski Paradox and Axiom of Choice
Numberphile video explaining AC via Banach-Tarski, highly upvoted in r/math
Set Theory
Learn the axiom of choice and its implications in set theory. Taught by William Hamilton.
mathworld.wolfram.com
MathWorld is a comprehensive online mathematics encyclopedia from Wolfram, providing detailed articles, definitions, theorems, and examples across all math topics. It includes entries on set theory and the Axiom of Choice, with explanations, formulas, and references.