TY  - DATA
AU  - De Swart, Harrie
TI  - Philosophical and mathematical logic
T2  - Springer undergraduate texts in philosophy
SN  - 9783030032555 (E-book)
AV  - QA 9.46 D47P 2018
PY  - 2018///
CY  - Cham, Switzerland
PB  - Springer
KW  - LOGIC
KW  - LOGIC, SYMBOLIC AND MATHEMATICAL
KW  - EPISTEMOLOGY
N1  - 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
UR  - https://drive.google.com/file/d/1kaCFvCArTo6XulzuFWaiMEW7fV9V9ahJ/view?usp=sharing
ER  -