Skip to main content
OurVLE
Log in
Page path
Home
/
►
Courses
/
►
Faculty of Science and Technology
/
►
Department of Mathematics
/
►
MATH1152 | S2_2021/22
/
►
Summary
Course info
MATH1152 | S2_2021/22 Introduction to Formal Mathematics
Lecturer:
Ajani Ausaru
Lecturer:
Damian Welsh
Tutor:
Andrew Mccartney