Tkaczyk M. Robert Trueman’s Defence of Higher-Order Logic. LLP [Internet]. 2023 May 23 [cited 2024 Jul. 5];33(1):163-8. Available from: https://apcz.umk.pl/LLP/article/view/43638