Assertion: logic's application | /r/AtLocation | computer programming
Facets:
Source sentences:
text: Its primary applications are in computer programming and mathematics, although there are also recreational games and puzzles based upon more formal logic.