Term Gallery logo

Significats de выводимая формула en rus

portuguès
lógica matemática
anglès
formal logic
català
metamatemàtica
espanyol
logica matematica
Wikidata

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

Veure'n més
        Termes relacionats
        metamatemàtica