Enviar aquest missatge de text: Логика и компьютер: курс логики и компьютерный практикум; Вып. 3; Доказательство и его поиск