mihail dimitrov
about
work
project-alexandria
LinkedIn
GitHub
CV
Résumé
Substack
⌘
K
Project Alexandria
Search
Search
Dark mode
Light mode
Explorer
Home
❯
Mathematics
❯
1. Discrete Mathematics
❯
1. Logic
1. Logic
5 items under this folder.
Jul 07, 2026
1.4 Proof Methods
Jul 07, 2026
2.5 Proof by Induction
Jul 07, 2026
1.1 Propositional Logic
Jul 07, 2026
1.2 Quantifiers
Jul 07, 2026
1.3 Implication