Ma Minghui

Bibliography

Minghui, Ma and Pietarinen, Ahti-Veikko J. 2019. “A Graphical Deep Inference System for Intuitionistic Logic.” Logique et Analyse 62(245): 73–114.