
Counter-Revolutionary Puzzles with Guillermo Badia
In this episode Pat speaks with Dr Guillermo Badia. Dr Guillermo Badia is a philosopher working in logic. His research interests are logic in computer science, semiring-based logics and models of computation, and modal,








