Metalogic I, 7.5 credits