江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

现代逻辑学讲义.数理逻辑/李小五编著

出版发行项:

广州:中山大学出版社,2005

ISBN及定价:

7-306-02588-0/CNY35.00 (全两册)

载体形态项:

2册， 263页;20cm

并列正题名:

A course in Mathematical logic

其它题名:

数理逻辑

其它题名:

A course in Mathematical logic

个人责任者:

李小五 编著

学科主题:

逻辑-高等学校-教学参考资料

中图法分类号:

B81

责任者附注:

李小五 浙江人 现任中山大学教授和博士生导师。

书目附注:

有书目

提要文摘附注:

数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学最重要的基础课。

豆瓣简介：