| 000 | 01358nmm a22003017a 4500 | ||
|---|---|---|---|
| 003 | SPU | ||
| 005 | 20210701225056.0 | ||
| 008 | 210524b2018 sz |||||o|||| 00| 0 eng d | ||
| 020 | _a9783030032555 (E-book) | ||
| 040 | _aSPU | ||
| 049 | _amain | ||
| 050 | 4 |
_aQA 9.46 _bD47P 2018 |
|
| 100 |
_aDe Swart, Harrie _9242520 |
||
| 245 | 1 | 0 |
_aPhilosophical and mathematical logic / _cHarrie de Swart _h[electronic resource] |
| 260 |
_aCham, Switzerland : _bSpringer, _c2018 |
||
| 300 | _a1 online resource | ||
| 449 | _a140501 | ||
| 490 | 1 | _aSpringer undergraduate texts in philosophy | |
| 505 | 0 | _aChapter 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 | |
| 650 | 0 |
_aLOGIC _934199 |
|
| 650 | 0 |
_aLOGIC, SYMBOLIC AND MATHEMATICAL _936899 |
|
| 650 | 1 | 0 |
_aEPISTEMOLOGY _934695 |
| 850 | _aSPU | ||
| 856 |
_uhttps://drive.google.com/file/d/1kaCFvCArTo6XulzuFWaiMEW7fV9V9ahJ/view?usp=sharing _yView Full-text |
||
| 910 |
_aLibrary _bSpringer _c240521 |
||
| 942 |
_2lcc _cEBK |
||
| 998 | _ajirawan 0521 | ||
| 999 | _c201878 | ||