Tkaczyk, M. “Robert Trueman’s Defence of Higher-Order Logic”. Logic and Logical Philosophy, vol. 33, no. 1, May 2023, pp. 163-8, doi:10.12775/LLP.2023.006.