PHILOS512: Methods of Logic (001) SP24