张霭珠，复旦大学国际关系与公共事务学院教授，上海市检察官培训中心客座教授。1962年毕业于复旦大学数学系．曾从事计算机总体设计、系统工程总体设计、自动跟踪系统数模设计；时态逻辑研究、高等教育管理研究及教学等工作。主编或参与撰写《定量分析方法》、《离散数学》、《狮城舌战》、《谋略之战》等教材和专著。曾任某工程总体设计组组长、复旦大学计算机科学系副系主任、法学院副院长和复旦大学副教务长等职务。

该书是作者在多年教学、科研的基础上探索构建的一种新的逻辑推理体系――半符号化推理演绎体系．该体系集形式逻辑（传统逻辑）和数理逻辑（符号逻辑）二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。这是教学科研中的创新。全书共分7章，20余万字。可作为高校相关专业的教材，也可作为MPA、MBA等考前参考书以及自学用书。...