ISBN 9787564077631 books & textbook
Higher-order logic auxiliary proof system(Chinese Edition)
[ DE ] TUO BI YA SI NI PU KE FU . [ YING ] LAO LUN SI BAO ER SEN . [ DE ] MA ER KU SI WEN ZE ER
Beijing Institute of Technology Press /2013-05-01 Hardcover
isbn-10: 7564077638 / isbn-13: 9787564077631
