Ebook: 数理逻辑
Author: 汪芳庭
- Genre: Mathematics // Logic
- Tags: Logic Symbolic and mathematical
- Series: 离散数学原理 3
- Year: 1990
- Publisher: 中国科学技术大学出版社
- City: Hefei Shi
- Edition: Di 1 ban.
- Language: Chinese
- pdf
Ben shu qian liang zhang jie shao le ming ti yan suan he wei ci yan suan. di san zhang jie shao xing shi suan shu, di gui han shu ji er zhe de guan xi. di si zhang zhong xin shi bu wan bei xing ding li, qi zhong jian li leGodelding li, Godel-Rosserding li, Tarskiding li, xing shi suan shu de bu ke pan ding xing ding li, wu mao dun xing bu ke zheng xing ding li de yi zhong yi zheng xing shi deng.