數理邏輯引論

命題邏輯從亞里士多德三階段論法以降，歷經一、二千年，以二值邏輯形式形成演繹法的主要根據。但自萊布尼茲發端，數理邏輯三百年來不斷進步，尤其是自十九世紀中葉以後到一九三○年代為止。理論基礎已經確定，數理邏輯近六十年來幾乎完全取代了傳統命題邏輯的三段論法，並以多值函數處理二值邏輯無法解決的命題。本書即是將數理邏輯做一全面系統性的介紹，是當代數理邏輯最佳入門書之一。