Tkaczyk, M. Robert Trueman’s Defence of Higher-Order Logic. LLP 2023, 33, 163-168.