Formalized Formal Logic
Formalized Formal Logic
Table of Contents
1.
First Order
2.
Arithmetic
3.
Set Theory
4.
Modal Logic
5.
Interpretability Logic
Monthly Reports
1.
First Order
1.1.
Notation
1.2.
Completeness
1.2.
Completeness
Source Code
Report Issues
←
1.1. Notation
2. Arithmetic
→
1.2. Completeness
TODO!
←
1.1. Notation
2. Arithmetic
→
