Datapoint Tiwi / Conjunctions and Universal Quantifiers

Language:
Tiwi
Feature:
Conjunctions and Universal Quantifiers by David Gil
Value:
Formally different

References