Return to Article Details Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент. Download Download PDF