Голота Я Я

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

1. Матричный способ записи сетей меток
   
   Зап. научн. сем. ЛОМИ, 40 (1974),  4–9
2. Некоторые приемы, упрощающие построение сетей меток
   
   Зап. научн. сем. ЛОМИ, 16 (1969),  44–53
3. Сети меток и выводимость в интуиционистском исчислении высказываний
   
   Зап. научн. сем. ЛОМИ, 16 (1969),  28–43