Воронков Андрей Александрович

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

1. Конструктивная истинность и конструктивные исчисления
   
   Докл. АН СССР, 299:1 (1988),  26–30
2. Теория моделей, основанная на конструктивном понимании истинности
   
   Тр. Ин-та математики, 8 (1988),  25–42