Functional interpretations over finite types with star types
Mathematical Logic Seminar, por Paulo Firmino (University of Lisbon).
Mathematical Logic Seminar, por Paulo Firmino (University of Lisbon).
O Departamento de Matemática e o Núcleo de Estudantes de Matemática e Matemática Aplicada, com o apoio do Grupo de Física Matemática, associam-se às celebrações do Dia Internacional da Matemática.
Mathematical Logic Seminar, por Ana Catarina Monteiro (University of Lisbon).
Geometry & Physics Seminar, por Gonçalo Oliveira (Instituto Superior Técnico, Universidade de Lisboa).
Mathematical Logic Seminar, por Alfredo Freire (University of Aveiro).
Mathematical Logic Webinar, por Pantelis Eleftheriou (University of Leeds).
Lançamento do livro "Tratado da Prática de Aritmética (1519)", de Gaspar Nicolas, organizado por Jorge Nuno Silva e Pedro Freitas.
Mathematical Logic Seminar, por Ana Borges (University of Barcelona).
Geometry & Physics Seminar, por Jean Douçot (GFM, Universidade de Lisboa).
Artigo em homenagem ao professor do Departamento de Educação da Ciências ULisboa, Eduardo Veloso, falecido em dezembro de 2022, da autoria de Suzana Nápoles, professora aposentada do DM Ciências ULisboa.