Los Angeles Math Circle

11/3/2019 -- Advanced 2B: Formal Proofs 1

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

Handouts: