符号逻辑：语法、语义和证明

符号逻辑：语法、语义和证明

PISBN：9787030480392

出版类型：专著

出版时间：2016-04-01

版次：1

作者：（美）安格勒（Agler，D.W.）,陈素艳,张秀蕊

学科：数学

语种：中文

所属数据库：科学文库

丛书题名：认知哲学译丛/魏屹东

问图书管理员

查看订购单位

点赞

收藏

计算理论与符号逻辑

作者：张兴元，王元元，宋丽华编著
PISBN：9787030324108
出版时间：2011-10-01

数理逻辑与机器证明

作者：陆钟万著
PISBN：7030019199
出版时间：1983-11-01

数理逻辑与机器证明

作者：陆钟万
PISBN：15031535
出版时间：1983-11-01

多值逻辑博弈语义研究

作者：陈招万著
PISBN：9787030535092
出版时间：2018-06-01

物理学中的符号、单位和术语

作者：国际纯粹和应用物理学协会符号､单位和术语委员会编；邓存熙译
PISBN：130312121
出版时间：1982-11-01

数学符号史

作者：徐品方，张红著
PISBN：7030170172
出版时间：2006-09-01