数理逻辑教程
Douban
ISBN: 9787208037489
Autor/in:
陈慕泽
Veröffentlichungsdatum: 2002
-3
Preis: 19.00
Anzahl der Seiten: 337
陈慕泽
Übersicht
数理逻辑是思维科学的一个分支，也是数学的一个分支。本书包括：命题逻辑、谓词逻辑、命题演算、谓词演算四章内容。