Terms containing formal logic

Subject	English	French
comp.	formal logic	logique mathématique
IT, dat.proc.	formal logic	logique formelle
comp.	formal logic	logique symbolique
gen.	formal logic	logique pure
IT	system of formal logic	système formel
IT	system of formal logic	axiomatique
IT	system of formal logic	ensemble de formules
IT	system of formal logic	théorie