Assertion: order logic | /r/AtLocation | turn
Facets:
Source sentences:
text: Second-order logic is in turn extended by higher-order logic and type theory.