太平引的意思

琴曲名。亦名'广陵散'。

《数理逻辑》是2006年人民邮电出版社出版的图书，作者是恩德滕。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容，并且包含了与计算机科学有关的主题，如有限模型。