Вансинг Хайнрих

Публикации в базе данных Math-Net.Ru

1. A case study in proof-theoretic tetralateralism
   
   Интеллектуальные системы. Теория и приложения, 26:1 (2022),  13–23