The Open Logic Project —  колекція навчальних матеріалів з математичної логіки для нематематиків. Всі матеріали — з відкритим кодом (можна завантажити LaTeX код) і у вільному доступі з можливістю модифікувати і ділитися своїми версіями. Команда використовує платформу GitHub для своїх розробок і поширює контент під ліцензією Creative Commons Із зазначенням авторства 4.0 міжнародна. В одному […]