马克思主义和逻辑问题 形式逻辑问题论辩集

从学科逻辑到实践逻辑 地方本科院校课程发展研究

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

现代内部审计理论与实务 国际注册内部审计师 CIA 考试参考用书

本书结合国际注册内部审计师（CIA）考试，系统阐述了内部审计在治理、风险和控制中的作用，如何实施内部审计业务以及如何进行经营分析和信息技术处理。为读者学习和了解现代内部审计理论与实务提供一本系统的学习...

时序逻辑程序设计与软件工程 上 时序逻辑语言

中华人民共和国审计法规与审计准则及政策解读 2012年权威解读版

本书收录现行的审计法律法规，并以实务形式讲解审计准则。《审计准则》的修订和颁布，是完善我国审计法律制度的重大举措，是国家审计准则体系建设史上一个重要的里程碑。...

国际注册内部审计师CIA考试新汇编600题 1 内部审计基础

本书基本内容为：第一章：介绍内部审计的相关概念和《国际内部审计专业实务框架》的基本内容。第二章：介绍内部审计在治理、风险和控制中的角色和职责，并阐述相关知识要点。第三章：介绍内部审计程序，包括在各个阶.....

民国丛书 第3编 9 哲学宗教类 逻辑指要 逻辑

逻辑·思维·语言：上海逻辑30年

本书总结了上海市逻辑学界30年来的学术成果和历程，具有较重要的理论价值、历史价值和现实意义。具体内容为30年来的逻辑学学科的论文，30年来上海逻辑学界的发展和历程，及30年来学会的大事记。...

环境审计与可持续发展世界审计组织第二十届大会主议题 2

本文主要收集了审计组织第二十届大会第二议题的内容，包括会议研讨论文、主论文以及由各国最高审计机关发表的国家论文等。