Related terms
- cs matematická logika (n) ➜
- en creative (a) ➜
- en formal logic (n) ➜
- en girard's paradox (n) ➜
- en logicomathematical (a) ➜
- en deductive ➜
- en expressive ➜
- en formal logic ➜
- en logic ➜
- en mathematics ➜
- en power ➜
- en productive (a) ➜
- en recursion theory (n) ➜
- en semicreative (a) ➜
- it logica matematica (n) ➜
Synonyms
- en symbolic logic (n, cognition) ➜
- ja 数学的論理学 (n) ➜
- ja 数理論理学 (n) ➜
- en symbolic logic ➜
- zh 数理逻辑 ➜
- zh 數理邏輯 ➜
Terms with this context
- en löwenheim skolem theorem (n) ➜
- en paris harrington theorem (n) ➜
- en unification (n) ➜
Word forms
- en mathematical logics (n) ➜
Links to other resources
- umbel.org /umbel/sc/MathematicalLogic
- en.wiktionary.org mathematical logic