'completeness theorem'에 해당되는 글 2건

  1. 2015.02.15 FOL(8) - completeness theorem 1
  2. 2015.02.13 FOL(7) - completeness and its equivalence