日韩欧美精品在线视频,一级片mp4,亚洲gogo肉体艺术图片

《萬千教育.數理邏輯入門》

作者：

[美]雷蒙德·M.斯穆里安（Raymond M. Smullyan）

出版日期：

2019-04-01

字數：

210000

開本：

頁數：

384

分類：

高等教育

ISBN：

978-7-5184-2183-1

定價：

￥68.00

官網優惠價格：

￥54.4

您也可以去

購買（點擊圖標進入購買頁）

內容簡介

作為一位終生思考如何以最好的方式表達數理邏輯問題的學者，作者在本書中由淺入深地介紹了命題邏輯、一階邏輯、初等算術以及皮亞諾算術的基礎知識；特別是以簡單易懂的形式闡釋了哥德爾不完全性定理，說明了由其本人發展的表列證明方法，并穿插大量習題，于每章末給出所有習題的答案，于結尾處附上術語對照表，使得本書非?！?/span>
[ 展開全部 ]