Patterns of resemblance - between proof theory and set theory
Mathematical Logic Webinar, por Anton Freund (Technische Universität Darmstadt).
Mathematical Logic Webinar, por Anton Freund (Technische Universität Darmstadt).
Mathematical Logic Webinar, por Giuseppina Terzo (Universitá degli studi di Napoli Federico II).
Mathematical Logic Webinar, por Isabel Oitavem (FCT - Universidade Nova de Lisboa).
Mathematical Logic Webinar, por Sérgio Marcelino (Instituto de Telecomunicações - IST).
Mathematical Logic Webinar, por Daniel Graça (Departamento de Matemática, Faculdade de Ciências e Tecnologia da Universidade do Algarve).
Mathematical Logic Webinar, por Emanuele Frittaion (Mathematics Department of TU-Darmstadt - Germany).
Mathematical Logic Webinar, por Matteo Manighetti (Inria Saclay & LIX, École Polytechnique, Palaiseau, France).
Mathematical Logic Webinar, por Fernando Ferreira (Universidade de Lisboa - CMAFcIO).
Mathematical Logic Webinar, por Bruno Jacinto (Universidade de Lisboa) e José Mestre (Stirling (SASP) e LanCog (Lisboa)).
Webinar de Lógica Matemática, por Ana Borges (Universidade de Barcelona).