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

Online Public Access Catalogue

题名/责任者:

数理逻辑教程/John L. Bell, Moshe Machover

版本说明:

影印版

出版发行项:

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

ISBN及定价:

978-7-5100-8630-4/CNY98.00

载体形态项:

xviii, 599页;23cm

并列正题名:

Course in mathematical logic

个人责任者:

贝尔 (Bell, John L. ) 著

个人责任者:

马霍维奇 (Machover, Moshe) 著

学科主题:

数理逻辑-教材-英文

中图法分类号:

O141

题名责任附注:

题名及责任者取自版权页

版本附注:

本书英文影印版由Elsevier (Singapore) Pte Ltd.授权世界图书出版公司北京公司在中国大陆境内独家发行

责任者附注:

责任者Bell规范汉译姓: 贝尔 ; 责任者Machover规范汉译姓: 马霍维奇

书目附注:

有书目 (第576-583页) 和索引

提要文摘附注:

本书内容包括：预备知识；数学逻辑基础；一阶逻辑；一阶逻辑(连续的)；布尔代数；模理论；递归理论(连续的)；直觉一阶逻辑；公理集合论；非标准分析；一般索引；符号索引。

豆瓣简介：