Assertion: logic | /r/Synonym | metalogic
Facets:
Source sentences:
text: The categorization of the logical systems and of their properties has led to the emergence of a metatheory of logic known as metalogic.