Los Angeles Math Circle

4/5/2020 -- Advanced 1A: Formal Proofs 1

Introduction to formal proof writing. Sets, functions, basic combinatorics and number theory proofs

Handouts: