Speitel SGW. Logical Constants and Arithmetical Forms. LLP [Internet]. 2023 Jun. 23 [cited 2024 Jul. 18];32(3):495-510. Available from: https://apcz.umk.pl/LLP/article/view/43725