圖書標籤: 邏輯與語言 計算機 模態邏輯 模態
发表于2024-08-17
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