（瑞典）奥尔伍德等著，王维贤等译2009 年出版233 页ISBN：9787301146170
本书是专为语言学学者而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言...
（美）卡尔纳普著2012 年出版352 页ISBN：9787544628716
作者卡尔纳普哲学思想的发展，一般说来，有语义、句法、语用三个阶段。在句法这个阶段，他强调把哲学变成科学语言的元语言——即句法。旨在把科学研究的内容与科学的语言形式分别开来。他认为，内容或对象属于具体...
刘华编著2000 年出版404 页ISBN：7030083946
本书从C＋＋Builder 4.0基础知识入手，通过大量的实例，讲述了C＋＋ Builder编程的各个方面，并着重讲述了多媒体程序设计、Internet应用程序设计、数据库应用程序开发、线程类和多线程应用程序设计、动态链接库技术、动...
张成叔主编2008 年出版323 页ISBN：9787811104837
本书根据安徽省最新的计算机等级考试大纲而编，介绍了理论、实训以及项目实战。
曹衍龙，林瑞仲，徐慧编著2005 年出版389 页ISBN：711513183X
本书汇集了近200个实例，基本涵盖了目前C语言编程的各个方面。
常东超，吕宝志，郭来德等编著2010 年出版321 页ISBN：9787302217848
本书共11章，介绍C语言程序设计的基础知识和基本方法。
