杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑/H.D. Ebbinghaus, J. Flum, W. Thomas

版本说明:

影印版

出版发行项:

北京:世界图书出版公司,2019

ISBN及定价:

978-7-5192-5572-5/CNY89.00

载体形态项:

x, 289页:图;24cm

个人责任者:

埃宾豪斯 (Ebbinghaus H. D.) 著

个人责任者:

弗卢姆 (Flum J.) 著

个人责任者:

托马斯 (Thomas W.) 著

学科主题:

数理逻辑-高等学校-英文-教材

中图法分类号:

O141

一般附注:

Undergraduate texts in mathematics 数学经典

题名责任附注:

题名与责任者取自封面

责任者附注:

责任者Ebbinghaus规范汉译姓: 埃宾豪斯; 责任者Flum规范汉译姓: 弗卢姆; 责任者Thomas规范汉译姓: 托马斯

书目附注:

有书目 (第277-279页) 和索引

原作版本附注:

影印自原书第2版

提要文摘附注:

本书从一阶逻辑以及它在数学基础中的作用的讲述开始, 深入阐述了 Trachtenbrot的不可判定性理论,基础等值理论的Fraisse特性, 一阶逻辑最大化的Lindstrom定理以及逻辑程序设计的基础这些经典的知识点。

豆瓣简介：