江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

现代形式逻辑入门/王寅著

出版发行项:

重庆:重庆大学出版社,2023

ISBN及定价:

978-7-5689-3626-2/CNY79.00

载体形态项:

13, 253页;24cm

并列正题名:

Introduction to modern formal logic

个人责任者:

王寅 著

学科主题:

形式逻辑

中图法分类号:

B812

书目附注:

有书目 (第246-253页)

提要文摘附注:

本书共十二章, 内容包括: 经典形式逻辑简介、现代形式逻辑简介、谓词演算、命题演算、内涵逻辑、狭义模态逻辑、模态命题演算VS模态谓词演算、现代形式逻辑的利与弊等。

豆瓣简介：