何陋居集 甦庵集

于中丞遗书

吴大澂集 九

八旗通志初集

孙毓椿集

西安县志略 西安县乡土志

离开象牙塔之后，他们如何活得更精彩？本书收录18位学术转型者的真实经历：他们中有人走出了实验室，走进了卡脖子攻坚战场；有人走下了高校讲台，走进了更广阔的教育天地和文学现场；有人在创新创业的沃土上深耕细作，有人在自媒体领域寻找价值，还有人在国际舞台上发挥专业素养……本书以个性化的叙事呈现知识群

本书系统地考察了当代形式真理论的研究路径、方法以及所取得的成就。试图从语义学、公理化和哲学三个方面对当代形式真理论进行研究和阐述，主要有三方面，一是考察为真谓词构建的语义学，包括塔斯基对真概念的清晰定义，克里普克为真概念所构造的不动点模型，古普塔等人所创建的修正语义学以及菲尔德创立的带良好条件句的语义学；二是基于语义学

本词典是一部符合中国学习者认知特点的韩国语形容词学习型词典。跨学科视角有机融合韩国语形态学、语义学、句法学理论。收录韩国语核心形容词1800余条，构建八维立体释义模型：词源与语音信息、形态与活用规则、核心义项与引申义、适用句型与使用限制、语义网络与相关词、惯用语与谚语、汉语对译及语料库实证例句。

本词典共分五卷，收录单字字头1.3万多个（按照规范标准确定字形、字音，梳理简繁、正异、异读关系），单字和复音词语总计15.7万余条（其中百科词语约2.5万条），配例40多万个，全书规模达1200多万字。本词典内容丰富，为各类词标注词类，设立提示栏、辨析栏（辨析实词、虚词1400余组），为方言词、地区词标注所属方言类别或