Philosophical and mathematical logic / Harrie de Swart [electronic resource]
Material type:![Computer file](/opac-tmpl/lib/famfamfam/CF.png)
- 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 | |
---|---|---|---|---|---|---|---|---|---|---|
![]() |
SPU Library, Bangkok (Main Campus) | Electronic Resources | On Display | QA 9.46 D47P 2018 (Browse shelf(Opens below)) | Available | 9783030032555 |
Total holds: 0
Browsing SPU Library, Bangkok (Main Campus) shelves Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
No cover image available | ||
QA 6.9.D26 M32 2003 Macromedia Coldfusion MX Web application construction kit / | QA 9 B87L 1998 Logic for mathematics and computer science / | QA 9 K67M 2018 Mathematical logic : on numbers, sets, structures, and symmetry / | QA 9.46 D47P 2018 Philosophical and mathematical logic / | QA 9.58 M37G 2022 Gillespie algorithms for stochastic multiagent dynamics in populations and networks / | QA 9.64 F89 2007 Fuzzy logic and its application in technology and management / | QA 10.3 ก412พ 2525 พีชคณิตบูลีน |
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.