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