Mathematical logic

Predicate calculus, completeness, Gödel's theorems

Also known as: Logic and Computability, Theory of Algorithms

56 lecture recordings, about 18 hours

Lecture recordings

bodirsky — Mathematical Logic, 10 lectures
Mathematics by Dr. D. N. Garain — Mathematical Logic, 8 lectures
Logic & Philosophy — An Introduction to Predicate Logic, 21 lectures
Maths is fun by Sana Sultana — Mathematical Logic, 8 lectures
Manta Institute for Mathematics — Foundations of Mathematics: Logic, Set theory and constructions of number systems., 17 lectures
SAMIR PANDIT PURE MATHS : SAMIR SIR — Logic, 8 lectures

What you need first

What it opens up

Field of knowledge

Logic

The map of knowledge