These are my notes of the Mathematical Logic for Computer Science course.
- introduction
- semi-decidability (?)
- koenig's lemma (?)
-
Notifications
You must be signed in to change notification settings - Fork 0
aflaag-notes/logic-cs
About
No description, website, or topics provided.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published