Assertion: logic's application | /r/HasProperty | puzzle
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.