Bos, J. 1995. Predicate Logic Unplugged. Proceedings of the Amsterdam Colloquium. (Dec. 1995), 133–142. DOI:https://doi.org/10.53437/qnk0ms53.