'학문/수리논리학'에 해당되는 글 23건
- 2015.02.07 soundness theorem for PL 2
- 2015.02.01 First-Order Logic(1) 3
- 2015.01.30 induction for FOL
- 2015.01.23 compactness theorem for PL(3)
- 2015.01.23 compactness theorem for PL(2)
- 2015.01.23 compactness theorem for PL(1)
- 2015.01.21 recursion theorem 1
