formal logic

Nghĩa (Tiếng Anh)

1. (countable, uncountable) Mathematical logic.
2. (countable, uncountable) A particular logical calculus.

Từ đồng nghĩa

mathematical logic

symbolic logic

logic

Bản dịch

logique mathématique

formale Logik

mathematische Logik

μαθηματική λογική

logique

logique formelle

logica matematica

wiskundige logica

Lógica matemática

lógica

lógica matemática

lógica simbólica