Assertion: formal science | /r/HasProperty | concerned with theoretical computer science
Facets:
Source sentences:
text: The formal sciences are the branches of science that are concerned with formal systems, such as logic, mathematics, theoretical computer science, information theory, systems theory, decision theory, statistics, and theoretical linguistics.