ISBN: 9787030228994 - 【按需印刷】-数理逻辑引论与归结原理 (英文版) (1 risultati)

Hardcover. Condizione: New. HardCover Pub Date: 2009 Pages: 335 Language: Chinese in Publisher: Science Press Introduction Introduction to Mathematical Logic and Resolution Principle (mathematical logic and the resolution principle) on the basis of the first edition of the revised edition book 9 chapter. the content can be divided into Boole algebra theory. propositional calculus and predicate calculus. resolution principle theory. the latest theory of multi-valued logic 4. The same time. on the basis of the first editi.…