Study of abstract [[formal systems]],i.e. [[logic]], [[mathematics]], & theoretical [[computer science]], [[information theory]], & [[statistics]]. | Study of abstract [[formal systems]],i.e. [[logic]], [[mathematics]], & theoretical [[computer science]], [[information theory]], & [[statistics]]. |