記錄 1 之 2
Record:   Prev Next
作者 Chang, Chin-Liang, 1937-
書名 Symbolic logic and mechanical theorem proving [by] Chin-liang Chang [and] Richard Char-Tung Lee
出版項 New York, Academic Press [1973]
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA9 C483 1973    在架上    30340200089799
記錄 1 之 2
Record:   Prev Next