## LOGIC

##### Propositional Logic, First-Order Logic, Proof Theory, Model Theory and the like!

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

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

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

## STATISTICS

##### Hypothesis Testing, Confidence Interval, Descriptive Statistics, Bayesian Inference and the like!

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