Alizadeh M, Bibak A. Remarks on Stable Formulas in Intuitionistic Logic. LLP [Internet]. 2018 Nov. 18 [cited 2024 Apr. 16];28(2):209-22. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2018.017