Logic for mathematicians = 數理邏輯
INITIAL_TITLE_SRCH:
Logic for mathematicians = 數理邏輯
AUTHOR:
Hamilton, A.G., 1943
ISBN:
9787302068105
EDITION:
Rev. ed.
PUBLICATION_INFO:
北京 : 清華大學出版社, 2003
PHYSICAL_DESC:
viii, 228 p.
SERIES:
大學計算機教育國外著名教材, 教參列
SERIES_TITLE:
大學計算機教育國外著名教材, 教參列
GENERAL_NOTE:
Includes index
SUBJECT_TERM:
SUBJECT:
| Logic, Symbolic and mathematical |