安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

符号逻辑:语法、语义和证明/(美) 大卫·W. 安格勒著 陈素艳, 张绣蕊译

出版发行项:

北京:科学出版社,2016

ISBN及定价:

978-7-03-048039-2/CNY99.00

载体形态项:

xiii, 333页;24cm

统一题名:

Symbolic logic : syntanx, semantics, and proof

其它题名:

语法、语义和证明

丛编项:

认知哲学译丛

个人责任者:

安格勒 (Agler, David W.) 著

个人次要责任者:

陈素艳 译

个人次要责任者:

张绣蕊 译

学科主题:

数理逻辑-研究

中图法分类号:

O141

一般附注:

本书受教育部人文社会科学重点研究基地山西大学科学技术哲学研究中心基金资助

相关题名附注:

英文题名原文取自版权页

提要文摘附注:

本书从逻辑学的两个核心概念“命题”和“论证”出发, 论述了符号逻辑学的两套推理使用的两种规范语言, 以及相应的推导规则。主要内容包括: 命题、论证和逻辑属性; 语言、句法和语义学; 真值表等。

豆瓣简介：