ИСЧИСЛЕНИЕ ЗАДАЧ

интуиционистское исчисление высказываний, понимаемое в свете интерпретации, к-рую предложил в 1932 сов. ученый А. Н. Колмогоров. Эта интерпретация была свободна от гносеологич. установок интуициони