西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

互逆主义数理逻辑/周训伟著

出版发行项:

北京:中国科学技术出版社,2004

ISBN及定价:

7-5046-1431-9/CNY30.00

载体形态项:

398页;20cm

个人责任者:

周训伟 (1952.9~) 著

学科主题:

数理逻辑-研究

学科主题:

数理逻辑

中图法分类号:

O141

一般附注:

北京市自然科学基金委员会资助出版

责任者附注:

周训伟，北京工业大学计算机系研究生毕业，现任北京联合大学信息学院副教授。

提要文摘附注:

本书介绍了互逆主义逻辑演算、集合论、抽象代数及互逆主义递归论等。

豆瓣简介：