Sciences et techniques / Formes et information
Some recursion-theoretic uses of the "dequote" operator
The implementation of logical constraints in ordinary language Amsterdam, 1967
Léon Chwistek and Computer Science
Brouwer, Chwistek, Ceccato et l'univers des dichômes (format pdf)