街居制的制度演化及其实践逻辑 基于上海经验的研究

本书将采用制度主义的分析视角，聚焦于建国以来在我国城市基层社会逐步确立的制度形态——街居制的历史变迁与现实发展，以街居制的现实功能领域——管理、服务以及资源汲取等为分析内容，通过分析现实社会环境变...

侦查程序与人权保障 中国侦查程序的改革和完善

本书是有关中国刑事诉讼中侦查程序的改革与人权保障的研究。

人文科学的逻辑

本书为人文科学理论研究著作。

逻辑科学方法论论纲

逻辑·民主·科学 方法论导读

辩证法逻辑科学

科学发现中的逻辑方法

侦查中的博弈 侦查对抗与合作

本书从博弈论的角度对刑事犯罪侦查中的人、行为及思维方式进行了细致地分析，并引用大量的案例来论述进行侦查决策、指挥时的不同境况，论据充实，分析细致，较具理论深度和现实指导意义，是对侦查人员进行思维拓展的...

社会科学研究的逻辑

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...