Holland-Angol szótár »
logica angolul
| Holland | Angol |
|---|---|
| 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) |
