Our Math Freebies

Formula sheets, review sheets, lecture slides, handouts, presentation slides and other goodness in higher mathematics!


Propositional Logic, First-Order Logic, Proof Theory, Model Theory and the like!
Icon — 3 Books

Axiom Schemes of Machover's PropCal

A 2-page handout on the 5 axiom schemes of PropCal (as defined in Moshé Machover's Set Theory, Logic and Their Limitations).
Icon — 3 Books

First-Order Logic in Standard Notation — Basics 

A 8-page meta-theoretical introduction to the language and semantics of first-order logic, as presented in modern standard notation.
Icon — 3 Books

Bell & Machover's PropCal and its Structural Rules

A 9-oage primer on the proof system PropCal (as presented in Bell & Machover's A Course in Mathematical Logic), along with the 12 associated structural rules.


Hypothesis Testing, Confidence Interval, Descriptive Statistics, Bayesian Inference and the like!
Sheet with Formula and Equation - Logo

Biostatistics — Review Sheets with Formulas

Originally developed for McGill EPIB 507 (Biostats for Health Science), this 5-page review sheet cover — in bullet-point form — a wide range of topics and formulas from descriptive statistics, probability distributions, hypothesis testing, confidence interval, regression and non-parametric methods.