Интеграция информатики и логики в общем образованиидоклад на конференции