图书标签: 逻辑与语言 计算机 模态逻辑 模态
发表于2024-11-11
Modal Logic pdf epub mobi txt 电子书 下载 2024
A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.
读过前四章.
评分读过前四章.
评分适合入门~
评分读过前四章.
评分适合入门~
评分
评分
评分
评分
Modal Logic pdf epub mobi txt 电子书 下载 2024