广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

简明实验逻辑学/李娜编著

出版发行项:

天津:南开大学出版社,2023

ISBN及定价:

978-7-310-06432-8/CNY46.00

载体形态项:

301页:图;23cm

个人责任者:

李娜 (1958.3-) 编著

学科主题:

实验逻辑

中图法分类号:

B81-06

提要文摘附注:

本书共16章，内容包括：Tarski's World 7.2简介、Fitch 3.7简介、Boole 4.2简介、原子语句、原子语句的逻辑、布尔联结词、布尔联结词逻辑、布尔逻辑的证明规则、布尔逻辑的证明方法、蕴涵、蕴涵的逻辑、量词、量词的逻辑、多重量词、量词的证明方法、量词的证明规则。

豆瓣简介：