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

  1. 2015.02.13 FOL(9) - compactness theorem and its equivalnce 2