Russellian propositions in Principia Mathematica. (English) Zbl 07469223
Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 537-556 (2022).