Contents / Mathematical Logic
Mathematical Logic
A free mathematical logic course on the foundations of mathematics: logic, proofs, set theory, models, computability, and incompleteness theorems.
7 chapters·574 practice questions·Your progress
Contents
- 1.Propositional Logic
Not read·0 / 86 correct
- 2.Predicate Logic
Not read·0 / 84 correct
- 3.
- 4.Set Theory
Not read·0 / 82 correct
- 5.Model Theory
Not read·0 / 74 correct
- 6.Computability Theory
Not read·0 / 82 correct