《數理邏輯：證明及其限度》是2014年11月出版的圖書，作者是郝兆寬、楊睿之、楊躍。
基本介紹
- 書名：數理邏輯：證明及其限度
- 作者：郝兆寬 楊睿之 楊躍
- ISBN：978-7-309-11025-8/O.554
- 頁數：249頁
- 定價：36元
- 出版時間：2014年11月
- 裝幀：平裝
- 開本：16 開
內容提要
本書是“邏輯與形上學教科書系列”中的一本。書中從零起點開始，介紹了集合論基本知識，命題邏輯、一階邏輯的語法和語義，哥德爾完全性定理，遞歸論基本知識，簡化版本的自然數模型，哥德爾不完全性定理等內容。
本書尤其面向對數學基礎感興趣的的讀者。相對於其他數理邏輯教材，本書更強調邏輯與元數學的聯繫，更多地介紹語義部分，強調語法語義的統一。書中，除了對各個知識點本身的講解，還介紹了它們的直觀和思想背景。
