Title: Li Wei yuan shi wen ji (Zhongguo zhong qing nian yuan shi wen ji)
Subjects: Programming languages (Electronic computers), Semantics, Symbolic and mathematical Logic, Induction (Logic)