Избранные труды. Т.II: Теория алгорифмов и конструктивная математика, математическая логика, информатика и смежные вопросы. Т.II