This first volume of the second edition contains major contributions on Predicate Logic, First- and Second-order Logic, Higher-order Logic, Algorithms and Decision Problems, and the Mathematics of Logic Programming. Audience: Students and researchers whose work or interests involve philosophical logic and its applications.
發表於2024-11-19
Handbook of Philosophical Logic 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯 哲學邏輯 nemlophics
Handbook of Philosophical Logic 2024 pdf epub mobi 電子書 下載