Nederlands | Engels |
---|---|
logica substantief {f} | logic [logics](method of human thought) |
intuïtionistische logica substantief {f} | intuitionistic logic(a type of logic which rejects the axiom "law of excluded middle") |
predicatenlogica substantief {f} | predicate logic(generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic) |