'completeness theorem for FOL'에 해당되는 글 1건

  1. 2015.02.15 FOL(8) - completeness theorem 1