logic, proofs, and naive set theory

go home
prerequisites:
table of contents:

intro to sets

formal logic

quantifiers

counting

proofs

mathematical induction

relations and functions

more about sets

infinity

choice and order