ЛОГИКА и компьютер Сб. ст. (Наука, 1995)