티스토리툴바

'학문/수리논리학'에 해당되는 글 23건

  1. 2015.02.07 soundness theorem for PL 2
  2. 2015.02.01 First-Order Logic(1) 3
  3. 2015.01.30 induction for FOL
  4. 2015.01.23 compactness theorem for PL(3)
  5. 2015.01.23 compactness theorem for PL(2)
  6. 2015.01.23 compactness theorem for PL(1)
  7. 2015.01.21 recursion theorem 1

티스토리툴바