Frege’s Begriffsschrift and second-order logic
Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).
Seminário de Lógica Matemática, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).
Mathematical Logic Webinar, por Mário Edmundo (Ciências ULisboa, CMAFcIO).
Mathematical Logic Webinar, por João Rasga e Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa e Instituto de Telecomunicações).
Seminário de Lógica Matemática, por Bruno Jacinto (Universidade de Lisboa).
Seminário de Lógica Matemática, por Luis Pereira (Universidade de Lisboa).
Seminário de Lógica Matemática, por Luis Pereira.
Mathematical Logic Webinar, por Luís Cruz-Filipe (Department of Mathematics and Computer Science, University of Southern Denmark).
Mathematical Logic Webinar, por Charles Morgan (UCL).
Mathematical Logic Webinar, por Luís Pinto (Centro de Matemática - Universidade do Minho).
Mathematical Logic Webinar, por José Espírito Santo (Centro de Matemática - Universidade do Minho).