本書是一本新型的邏輯教科書輔導(dǎo)用書，適合于大學(xué)文理科的邏輯教學(xué)。它在一個(gè)統(tǒng)一的框架內(nèi)，討論了數(shù)理邏輯、傳統(tǒng)邏輯、歸納邏輯和非形式邏輯的核心內(nèi)容。