Our Math Freebies


Propositional Logic, First-Order Logic, Proof Theory, Model Theory and the like!
Icon of 3 books in red, blue and green

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 of 3 books in red, blue and green

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 of 3 books in red, blue and green

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!
Icon of a sheet with mathematical symbols and formulas

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.