论逻辑学与唯物辩证法 关于逻辑学四个基本问题的研究

日本农业的经营问题 现状与发展逻辑

普通逻辑疑难理论问题研究

本书遵从以往普通逻辑体系内容的框架，以探讨疑难理论问题为核心或重点，同时注意兼顾内容的系统性，以增强读者对内容理解的连贯性。

夜莺与玫瑰 含唯一正版林徽因译作

本书包括奥斯卡·王尔德的两个童话集：《快乐王子与其他故事》和《石榴屋》，其中“夜莺与玫瑰”一篇为林徽因所译。

语言与逻辑问题探索

本书是一本探讨研究语言与逻辑问题的学术著作，全书主要涉及语法、修辞和逻辑三个学科，三方面相互结合，进行跨学科研究，运用语义、句法、语用三个方面的理论与方法，对语言问题进行多层面、多角度的探索。...

现代逻辑若干问题研究

国家社会科学出版基金资助项目河南大学学术著作和教材出版基金资助:本书通过建立一阶算术系统PQC以及其他一些方法来证明歌德尔不完全性定理的成立。还论述了关于公理集合论的研究成果。...

企业使用正版软件工作手册

本书从软件保护的法律知识、如何签订软件使用许可合同、软件资产管理、与软件正版化有关的法律、法规和相关文件等四个方面阐述了软件版权保护的概念、性质和所遵循的规则，推进了软件版权保护的进程。...

临界的传递逻辑 模态逻辑的濒表格性问题探究

图书回顾了传递的濒表格逻辑的研究发展历史，叙述了传递的濒表格逻辑判据的证明、应用过程，试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模...

明代诗学的逻辑进程与主要理论问题

本书将明代诗学作为研究对象，阐述了明代诗学的逻辑进程及其主要理论问题。

金字塔原理 思考写作解决问题的逻辑方法