邏輯

一階邏輯模型理論與正規化轉換