aleksandr-gordeiko/mathlogic-itmo

A and C tasks for Mathlogic course of ITMO University

Решения задач А и С

Университет ИТМО, курс "Математическая логика"

python3.9