	Info About ORMC Directions History Leadership Mathematics competitions Olga Radko: In Memoriam Opportunities for UCLA students ORMC Projects Our books People Student Research Admission Apply to ORMC MyCircle login ORMC Entry Points Circle Rules Contact us Meetings Current Year Previous Years F.A.Q. Support us Authorized Users Only Mailing lists Member list Registrations Donations Logins in last 2 weeks Site search: ✎̸
	11/3/2019 -- Advanced 2B: Formal Proofs 1 Introduction to formal proof writing. Sets, functions, basic combinatorics and number theory proofs Handouts: Proofs 1 [Edit]