Datapoint Tukang Besi / Conjunctions and Universal Quantifiers

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

References