Henkin–Keisler Model
   HOME
*