product iamge

数理逻辑

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

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.

Author(s): 汪芳庭
Series: 离散数学原理 3
Edition: Di 1 ban.
Publisher: 中国科学技术大学出版社
Year: 1990

Language: Chinese
Pages: 273
City: Hefei Shi
Tags: Logic, Symbolic and mathematical