Логика и компьютер. Вып. 5: Пусть докажет компьютер. Информатика: неограниченные возможности и возможны