Computational ludics

We finally describe a way of defining data sets by means of logical connectives, where the internal completeness theorem plays an essential role.