逻辑与语言

对命题逻辑与谓词逻辑的简要描述，基本包含了一阶语言的形式化语法与语义基础，由相关逻辑学课程内容整理而成。

《文字的历史》是前苏联学者B.A.伊斯特林的著名著作，旨在用通俗却严谨的方法讲述文字的起源和发展脉络

名与实，文字与思维，抽象与具象，都被包括在了这些工具书中。而随着对语言力量的正视，再度看待这些词典的时候，我便会怀着一种崇敬的心情，去审视那奥妙无穷的文字世界。

不同的圈子塑造了不同的语言环境，就如同在大学校园里，形成了这样一种语言形式：在这里，简单的短语被其拼音简写代替，并夹杂着一些用字母拼接成的图画。

这篇文章描述了无类型的λ演算系统的语法和操作语义。