Logic

• Boolean algebra
• Godel theorems
• formal system
• propositional logic
• Carrollian regress