Maffezioli P. Proof Theory for Intuitionistic Stable Theories. LLP [Internet]. 2025 Jun. 27 [cited 2025 Jun. 29];:1-19. Available from: https://apcz.umk.pl/LLP/article/view/56463