'일차술어논리'에 해당되는 글 2건

  1. 2015.02.13 FOL(7) - completeness and its equivalence
  2. 2015.02.12 FOL(5) - soundness theorem 1