Philosophical and Mathematical Logic
Philosophical and Mathematical Logic
Springer Nature Switzerland AG
12/2018
539
Dura
Inglês
9783030032531
15 a 20 dias
Descrição não disponível.
Chapter 1. Propositional Logic.- Chapter 2. Predicate Logic.- Chapter 3. Arithmetic and Goedel'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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Chapter 1. Propositional Logic.- Chapter 2. Predicate Logic.- Chapter 3. Arithmetic and Goedel'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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.