~/RESOURCES/NOTES/
├─ FIGURES
│ └─ NUMBER-LINE
│ └─
[.TYP]├─ CHAPTER_00
│ ├─ LN00:PREDICATES_AND_QUANTIFIERS
│ │ ├─
[.PDF]│ │ └─
[.TYP]│ ├─ LN01:LOGICAL_CONNECTIVES
│ │ ├─
[.PDF]│ │ └─
[.TYP]│ ├─ LN02:THE_SYNTAX_OF_THE_FIRST-ORDER_LOGIC
│ │ ├─
[.PDF]│ │ └─
[.TYP]│ ├─ LN03:THE_RULES_OF_INFERENCE
│ │ ├─
[.PDF]│ │ └─
[.TYP]│ └─ LN04:THE_LANGUAGE_OF_THE_FIRST-ORDER_LOGIC
│ ├─
[.PDF]│ └─
[.TYP]├─ CHAPTER_01
│ ├─ LN05:A_THEORY_OF_ARITHMETIC
│ │ ├─
[.PDF]│ │ └─
[.TYP]│ ├─ LN06:REPEATING_OURSELVES
│ │ ├─
[.PDF]│ │ └─
[.TYP]│ └─ LN07:A_RECURRING_THEME
│ ├─
[.PDF]│ └─
[.TYP]└─ CHAPTER_02
└─ LN08:A_THEORY_OF_SETS
├─
[.PDF]└─
[.TYP]