1、介绍了采用数字逻辑方法，用EPROM存储器为核心设计自动移印机。

2、这三者分别与前三章所讨论的逻辑方法相联系。

3、法律推理具有逻辑方法和审判制度的双重属性，它的发展经历了一个从前者向后者的演进过程。

4、讨论了三种时间逻辑方法：一阶谓词演算，模态逻辑及具体化逻辑。