Autor
Michael Detlefsen
Michael Detlefsen (nascido em 1948) é um filósofo e lógico americano. Ele é conhecido por suas contribuições à filosofia da matemática e à lógica, com obras notáveis como "Proof and knowledge in mathematics" e "Logic from A to Z". Detlefsen também é autor do "Glossário de lógica", uma obra que visa desmistificar termos complexos da área.
1Livros encontrados
Temas e assuntos
MathematicsSymbolic and mathematical LogicPhilosophyLogic, symbolic and mathematicalLogicMathématiques
Obra em destaque
Editoras frequentes
Autores relacionados
Obras
Obras relacionadas
- Proof and knowledge in mathematics
- Proof, logic, and formalization
- Hilbert's program
- Logic from A to Z
