Philosophical and mathematical logic / Harrie de Swart [electronic resource]
Material type: Computer fileSeries: Publication details: Cham, Switzerland : Springer, 2018Description: 1 online resourceISBN:- 9783030032555 (E-book)
- QA 9.46 D47P 2018
Contents:
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
Item type | Current library | Collection | Shelving location | Call number | Status | Date due | Barcode | Item holds | Course reserves | |
---|---|---|---|---|---|---|---|---|---|---|
E-Book | SPU Library, Bangkok (Main Campus) | Electronic Resources | On Display | QA 9.46 D47P 2018 (Browse shelf(Opens below)) | Available | 9783030032555 |
Total holds: 0
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
There are no comments on this title.
Log in to your account to post a comment.