Мат логика
Логика раздел математики изучающий математические обозначение. Формальный системы.
Доказуемость математических суждений.
Вычислимость и прочие конспекты основной математике.
