Сети меток и выводимость в интуиционистском исчислении высказываний Я.Я. Голота — 1969 Zapiski naucnych seminarov Leningradskogo
Некоторые приемы, упрощающие построение сетей меток Я.Я. Голота — 1969 Zapiski naucnych seminarov Leningradskogo