Module cohort course for Symbolic Logic (PHL3014_RWA_2_202425)