top of page

# Logic

A great one for the problem solvers and future proof-writers. While much of this won't seem familiar to you, it is the basis by which deduction is made in every area of maths.

## Resources

### Textbooks

## A Course in Mathematical Logic by J.L Bell

Free

Mathematical Logic by J. R. Shoenfield

The Mathematics of Metamathematics by H. Rasiowa

Logic and Structure by D.van Dalen

### Videos

Introduction to Propositional Logic (less maths-y)

Introduction to Mathematical Induction

Lectures â€‹

Mathematical Logic by L.Nguyen (a series!)

â€‹

â€‹

â€‹

### Online Courses

Introduction to Logic by Stanford Uni.

Introduction to Logic and Critical Thinking by Duke Uni.

Introduction to Mathematical Thinking by Stanford Uni

Semantics of First-Order Logic by Stanford Uni

### Books

# Mathematical Introduction to Logic by H.B. Enderton

Beginning Mathematical Logic - A Study Guide by P. Smith (VERY USEFUL)

Introducing Logic - Graphic Book by D.Cryan

bottom of page