Philosophical and mathematical logic /
De Swart, Harrie
Philosophical and mathematical logic / [electronic resource] Harrie de Swart - Cham, Switzerland : Springer, 2018 - 1 online resource - Springer undergraduate texts in philosophy .
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
9783030032555 (E-book)
LOGIC
LOGIC, SYMBOLIC AND MATHEMATICAL
EPISTEMOLOGY
QA 9.46 / D47P 2018
Philosophical and mathematical logic / [electronic resource] Harrie de Swart - Cham, Switzerland : Springer, 2018 - 1 online resource - Springer undergraduate texts in philosophy .
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
9783030032555 (E-book)
LOGIC
LOGIC, SYMBOLIC AND MATHEMATICAL
EPISTEMOLOGY
QA 9.46 / D47P 2018