Usage of "математическая логика"

португальский

lógica matemática

английский

formal logic

каталонский

metamatemàtica

испанский

logica matematica

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

Related terms

раздел математики

formal logic

Usage of математическая логика in русском

Кандидат философских наук по специальности " Математическая логика".

Translations for математическая логика

португальский

lógica matemática

английский

formal logic logic symbolic logic modern logic mathematical logic

каталонский

metamatemàtica lògica simbòlica lògica matemàtica

испанский

logica matematica neopositivistas lógicos logica lógica simbólica lógica logica simbolica neopositivistas logicos lógica matemática

Interface language

Meanings of математическая логика in русском