书目详细信息
： Philosophical and mathematical logic /
书目信息 机读格式(MARC)
| ISBN： | 9783030032531 : |
|---|---|
| 编目源： | YDX YDX UAB VT2 MERER LEAUB OCLCQ OH1 |
| 个人名称： | De Swart, Harrie. |
| 题名： | Philosophical and mathematical logic / Harrie de Swart. |
| 索书号： | O141/D278E |
| 出版发行项： | Cham, Switzerland : Springer, 2018. |
| 载体形态： | 539 p. ; 24 cm. |
| 格式化内容附注： | Chapter 1. Propositional Logic -- Chapter 2. Predicate Logic -- Chapter 3. Arithmetic and G枚del's incompleteness theorem -- Chapter 4. Sets (finite and infinite) -- Chapter 5. Philosophical logic: modal, epistemic, deontic, temporal -- Chapter 6. Philosophy of language -- Chapter 7. Intuitionism and intuitionistic logic -- Chapter 8. Applications of logic and set theory: logic programming; relational databases. |