# OUR MATH FREEBIES

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

## LOGIC

### 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).

### 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.

### 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.

## STATISTICS

### 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 statistics, probability distributions, hypothesis testing, confidence interval, regression and non-parametric methods.