Uniform validity of atomic Kreisel-Putnam rule in monotonic proof-theoretic semantics
Seminário de Lógica Matemática, por Antonio Piccolomini D'Aragona (University of Tübingen/University of Siena).
Seminário de Lógica Matemática, por Antonio Piccolomini D'Aragona (University of Tübingen/University of Siena).
Seminário de Análise e Equações Diferenciais, por Itamar Oliveira (University of Birmingham).
Seminário de Lógica Matemática, por Joaquim Waddington (UERJ/UCL).
Workshop organizado pelo CEMS.UL - Centro de Estudos Matemáticos e pelo CAMGDS - Centro de Análise Matemática, Geometria e Sistemas Dinâmicos.
Seminário de Análise e Equações Diferenciais, por João Pedro Ramos (Instituto Nacional de Matemática Pura e Aplicada).
Seminário de Geometria e Física, por Tomás Inácio (FCUL, Universidade de Lisboa).
Seminário de Análise e Equações Diferenciais, por Leonid Berlyand (Penn State University).
Seminário de Análise e Equações Diferenciais, por Wladimir Neves (Universidade Federal do Rio de Janeiro).
Seminário de Lógica Matemática, por Eduardo Magalhães (Universidade do Porto).
Seminário de Lógica Matemática, por Paulo Santos (ISCAL - CEMS.UL).