Bos, J. (1995) “Predicate Logic Unplugged”, Proceedings of the Amsterdam Colloquium, pp. 133–142. Available at: https://platform.openjournals.nl/PAC/article/view/24626 (Accessed: 5 December 2025).