Symbolic logic and mechanical theorem proving: Chin-Liang Chang and Richard Char-Tung Lee. Academic Press, New York, 1973

作者：

摘要

论文关键词：

论文评审过程：Available online 25 February 2003.

论文官网地址：https://doi.org/10.1016/0004-3702(73)90014-3