Citation: | HE Zi-qiang. Rules of Inference for Quantifiers in Discrete Mathematics[J]. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(4): 432-434. (in Chinese) |
[1] 陈进元,屈婉玲.离散数学(上)[M].北京:北京大学出版社,1987. [2]左孝凌,李为鉴,刘永才.离散数学[M].上海:上海科学技术文献出版社,1982. [3]王遇科.离散数学[M].北京:北京理工大学出版社,1986. [4]蔡高火.离散数学基础[M].桂林:广西师范大学出版社,1992. [5]Stanat D F, Mcallister D F. Discrete mathematics in computer science[M]. Englewood Cliffs:Prentice Hall, 1977. [6]胡世华,陆钟万.数理逻辑基础[M].北京:科学出版社,1981. [7]尹宝林,何自强,许光汉,等.离散数学[M].北京:高等教育出版社,1998. [8]檀凤琴,何自强.离散数学[M].北京:科学出版社,1999.
|