'propositional logic'에 해당되는 글 4건

  1. 2015.02.07 completeness theorem for PL 2
  2. 2015.02.07 soundness theorem for PL 2
  3. 2015.01.23 compactness theorem for PL(2)
  4. 2015.01.23 compactness theorem for PL(1)