Comunicação
Frege’s Begriffsschrift and second-order logic
Seminário de Lógica Matemática (SLM), CMAFcIO
Organização:
Center of Mathematics, Fundamental Applications and Operations Research (CMAFcIO)
Ciências ULisboa e Videoconferência
22 / 11 / 2021