Harrie de Swart
Harrie de Swart é um autor com vasta experiência no ensino de Lógica, acumulando quase cinquenta anos de dedicação ao ensino da disciplina em seus diversos aspectos em três universidades distintas. Sua expertise reside em tornar os insights da lógica acessíveis a estudantes, inclusive aqueles sem inclinação particular para métodos matemáticos. De Swart enfatiza a importância das relações da lógica com a filosofia, matemática, inteligência artificial, ciência da computação e linguística, além de ter a teoria da escolha social como um de seus interesses de pesquisa. Sua obra relevante inclui "Philosophical and Mathematical Logic", publicada pela Springer em 2018, que serve como uma introdução à lógica com foco na interação entre esta e a filosofia, matemática, linguagem e ciência da computação teórica.
Editoras frequentes
Obras relacionadas
- Automated Reasoning with Analytic Tableaux and Related Methods
- Philosophical and Mathematical Logic
- Relational and Algebraic Methods in Computer Science
