As if i said otherwise ? <| sep |> Recently saw Prishtina , that was quite the experience having come from Switzerland . <| sep |> I took it as an elective undergrad math class , when it was crosslisted as an undergradlevel Math credit and a graduatelevel Philosophy credit MATH 406 PHIL 506 . A few years later it was crosslisted as M a thPhilosophyLinguisticsCS , which I imagine created an even more diverse set of opinions about what was or wasn ' t practical . Eventually it split into one class for MATHCS and a different class for PHILLING . The newspaper thing was mostly to impress upon the reason why we needed a formal propositional logic in the first place , but the prof was often able to use something specific in the news to show that what we had learned to that point was not adequate and introduce a new concept . The second semester was a whirlwind of completenesscompactness theorems and umlauts .