本書從一階邏輯的語法和語義開始, 介紹了緊致性定理、Lwenheim–Skolem定理、Tarski準則、量詞消去、飽和模型、齊次模型、Omega-穩定理論、不可區分序列以及Morley定理等內容。
請選擇顏色、尺碼等選項!
已成功加入購物車!