Study that is predominantly concerned with abstract [[formal systems]],i.e. [[logic]], [[mathematics]],
+
Study that is predominantly concerned with abstract [[formal systems]],i.e. [[logic]], [[mathematics]], & theoretical [[computer science]], [[information theory]], and [[statistics]].