数理逻辑基础：一阶逻辑与一阶理论

北京市民语言文化阅读书系 京味美文 朗诵与演讲名篇欣赏

这本小书是献给读者的“学习演讲和朗诵的小礼物”。编著者在介绍演讲与朗诵的一般常识之后，又征引28篇京味儿浓郁的著名文章，一一进行内容欣赏和技巧层面的具体指导。这对于每位在北京求学、工作、耕耘、奋斗...

普通逻辑考试的命题与解题 普通逻辑考试学引论

数字逻辑与VHDL逻辑设计习题解答

本书中各章习题以及补充题的解答。部分习题给出若干种不同方法的解答。给出典型习题的解题思路。

趣谈味觉与嗅觉的奥秘

栗原坚三，博士，教授，青森大学校长，系日本鲜味研究会创始人之一和日本味觉与嗅觉学术领域的权威人士，代表作有《味觉和嗅觉》和《鲜味》等。叶荣鼎，硕士，上海翻译家协会理事，1983年起发表中短篇译作100多部，出......

西方比较文学与文学理论名篇选读与实践

自1984年大陆出版第一部比较文学教材《比较文学导论》算起，至今已有30多年的教材出版史，粗略统计，期间用中文出版的各类教材多达百余部。比较文学目前的教材尚处于“群雄逐鹿”的局面。初学者对教材的取舍颇为...

弗雷格逻辑哲学与现代数理逻辑思潮

弗雷格是现代逻辑和语言哲学的创始人。本书扣住弗雷格的逻辑主义来研究逻辑哲学思想。

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

时序逻辑程序设计与软件工程 上 时序逻辑语言

法学名篇小文丛 论统一民法对于德意志的必要性 帝堡与萨维尼论战文选

本书是19世纪关于德国是否制定统一民法典的争论。