Term Gallery logo

Значения термина матлогика на русском

португальский
lógica matemática
английский
formal logic
каталонский
metamatemàtica
испанский
logica matematica
Wikidata

Раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр.

Ещё
        Похожие термины
        formal logic