SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING by Chang, Chin-Liang ISBN 0121703509
From Student Book World
(List of links)
< SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING by Chang, Chin-Liang ISBN 0121703509No pages link to SYMBOLIC LOGIC AND MECHANICAL THEOREM PROVING by Chang, Chin-Liang ISBN 0121703509.
