Wansing Heinrich

Publications in Math-Net.Ru

1. A case study in proof-theoretic tetralateralism
   
   Intelligent systems. Theory and applications, 26:1 (2022),  13–23