Bos, J. (1995). Predicate Logic Unplugged. Proceedings of the Amsterdam Colloquium, 133-142. https://platform.openjournals.nl/PAC/article/view/24626