Raclavský J. The Rule of Existential Generalisation and Explicit Substitution. LLP [Internet]. 2021 Oct. 10 [cited 2024 Dec. 30];31(1):105-41. Available from: https://apcz.umk.pl/LLP/article/view/31855