數(shù)理邏輯基礎(chǔ)（下冊）認領(lǐng)

本書是數(shù)理邏輯的有名經(jīng)典著作之一，內(nèi)容包括四章： 第一章爲命題演算，介紹基本邏輯聯(lián)結(jié)詞及其各種

本書介紹數(shù)理邏輯的基礎(chǔ)知識，包括邏輯演算的基本內(nèi)容. 這些內(nèi)容構(gòu)成數(shù)理邏輯各個分支（模型論、證明論和

本書是普通高等教育“十五”國家級規(guī)劃教材，也是高等教育百門精品課程教材建設(shè)計劃的精品項目研究成果。本