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 |