BackLinks search for "형식체계,formal_system"
- 람다대수,lambda_calculus
- 명제,proposition
- 명제논리,propositional_logic
- 미적분,calculus
- 수리논리,mathematical_logic
- 수학,math
- 술어논리,predicate_logic
- 언어,language
- 연역,deduction
- 일차논리,first-order_logic
- 증명,proof
- 형식문법,formal_grammar
- 형식체계,formal_system
Show Context.