作者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