Arithmetics within the Linear Time Hierarchy
Mathematical Logic Seminar, por Chris Pollett (San Jose State University).
Mathematical Logic Seminar, por Chris Pollett (San Jose State University).
Mathematical Logic Seminar, por Carlos Caleiro (Instituto Superior Técnico).
Mathematical Logic Seminar, por Bruno Jacinto e Beatriz Souza (Universidade de Lisboa).
Mathematical Logic Seminar, por Alan J. Cain.
Mathematical Logic Seminar, por Eduardo Skapinakis (NOVAMath, Universidade Nova de Lisboa).
Mathematical Logic Seminar, por Joan San-Millán (Centro de Filosofia das Ciências da Universidade de Lisboa).
Algebra, Combinatorics, Differential Equations, Geometry, Logic, Matrix Theory and Operational Research.
Mathematical Logic Seminar, por Paulo Guilherme Santos (NOVA FCT and ISCAL).
Mathematical Logic Seminar, por Cristina Sernadas (Instituto Superior Técnico, Universidade de Lisboa/Instituto de Telecomunicações).
Mathematical Logic Seminar, por Bruno Dinis (Universidade de Évora).