安徽科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑入门/R.M. 斯穆里安(Raymond M. Smullyan)著 刘新文 ... [等] 译

出版发行项:

北京:中国轻工业出版社,2019

ISBN及定价:

978-7-5184-2183-1/CNY68.00

载体形态项:

370页:图;24cm

并列正题名:

Beginner's guide to mathematical logic

丛编项:

万千教育

个人责任者:

斯穆里安 Smullyan, Raymond M. 1919-2017 著

个人次要责任者:

刘新文 译

个人次要责任者:

张瑜 译

学科主题:

数理逻辑-教材

中图法分类号:

O141

题名责任附注:

题名页题: 刘新文, 张瑜, 荣华夏, 闫佳亮, 张立英译

责任者附注:

责任者规范汉译姓: 斯穆里安

责任者附注:

雷蒙德·M. 斯穆里安 (Raymond M. Smullyan, 1919-2017), 世界著名逻辑学家、数学家, 也是一位职业钢琴演奏家和职业魔术师。

书目附注:

有书目 (第329-332页)

提要文摘附注:

本书是一本数理逻辑导论教材, 主要介绍数理逻辑的基础知识, 包括命题逻辑、一阶逻辑、不完全性定理及不完全性证明等, 并穿插对逻辑学家的介绍以及对数理逻辑基本概念的说明, 以给高校学生和大众读者介绍关于数理逻辑的一般知识, 帮助其提高在日常生活中的推理和论证能力。

豆瓣简介：