[書評] 基礎邏輯

這是我目前認為單純學習一階邏輯語言最好的教材之一，本書仔細處理哲學問題，而僅僅關注在如何將自然語言抽象化為符號語言並使用直觀式的推論規則進行命題推演。對於徹底形式化與自然直觀間能取得一適當的平衡。

簡評：這本書作為一階邏輯的入門是相當優異的書，不過對於其它邏輯的介紹相當稀少。