Text this: Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск