Skip to content
everything
.study
Alberta
/
CMPUT
CMPUT 272
Formal Systems and Logic in Computing Science
3 units
Sources
Course catalogue ↗
2026–2027
CMPUT 272 LEC-A1/A2/EA1/EA2: Formal Systems and Logic in Computing Science · Reading-list link; contents not retrieved ↗
2026