UCLA Olga Radko Endowed Math Circle

4/12/2020 -- Advanced 1A: Formal Proofs 2

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

Handouts: