Course Chapters
Table of Contents
Explore each chapter of formal logic in a structured learning sequence.
4 chapters available
Formal Logic
Study of mathematical reasoning and foundations.
Core Concepts
Key Topics
Essential concepts and areas you should master in formal logic.
Philosophical Aspects of Logic and Foundations
General Logic
Model Theory
Computability and Recursion Theory
Proof Theory and Constructive Mathematics
Algebraic Logic
Nonstandard Models
Recommended Reading
Recommended Books
Carefully selected books to deepen your understanding of formal logic.
Elements of Set Theory
Herbert B. Enderton
A Mathematical Introduction to Logic
Herbert B. Enderton
A Course in Mathematical Logic for Mathematicians
Koblitz
Set Theory
Felix Hausdorff
Naive Set Theory
Paul Halmos
Practice Problems
Featured Problem
Test your knowledge with this formal logic problem
Problem 1
Test your knowledge with this formal logic problem
Start problem
Problem 2
Test your knowledge with this formal logic problem
Start problem
Problem 3
Test your knowledge with this formal logic problem
Start problem
Continue Learning
Ready to dive deeper into formal logic? Explore more resources and connect with the community.