Blue Gift Logo


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


Icon — 3 Books

Axiom Schemes in Machover's PropCal

A 2-page handout on the five axiom schemes in the propositional calculus PropCal (as defined in Machover's Set Theory, Logic and Their Limitations).

Icon — 3 Books

First-Order Logic in Standard Notation — Basics

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

Icon — 3 Books

Bell & Machover's PropCal and its Structural Rules

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


Sheet with Formula and Equation - Logo

Biostatistics — Review Sheet with Formulas

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