Точная интерпретация интуиционистского исчисления высказываний посредством начального сегмента решетки Медведева Е.З. Скворцова — 1988 Sibirskij matematiceskij zurnal