Image from Amazon.com
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 | Barcode | 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
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 : [electronic resource] on numbers, sets, structures, and symmetry / | QA 9.46 D47P 2018 Philosophical and mathematical logic / [electronic resource] | 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 / [book] | 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.