ÁLVAREZ LISBOA, Miguel. Intuitionistic Logic from a Metainferential Perspective. Logic and Logical Philosophy. Online. 26 March 2025. pp. 1-33. [Accessed 1 April 2025]. DOI 10.12775/LLP.2025.006.