[Mathematics / Universidad Nacional de Colombia / Bogotá]
Completeness as (TOPol) reconstruction of (LOGic)
In the context of the Brazilian seminar Lógicos em Quarentena, organized by the Sociedade Brasileira de Lógica, I gave the lecture Completeness as (TOPol) reconstruction of (LOGic).