作者l314 (红虫)
看板CompBook
标题有人有这本吗?李家同写的..
时间Fri Mar 17 21:34:20 2006
<<Symbolic Logic and Mechanical Theorem Proving>>
听我们老师说,李家同在课堂上自称这本是圣经本..
天珑并没有卖,请问有人有愿意二手出售转让吗?
orz..thx
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.119.200.90
1F：推 reovcikl:1973年出版的 03/17 23:27