A simple proof assistant for first-order logic and set theory
Mathematical Logic Webinar, por Clarence Protin (Universidade Aberta).
Mathematical Logic Webinar, por Clarence Protin (Universidade Aberta).
Palestra por Jorge Buescu (Ciências ULisboa).
Mathematical Logic Seminar, por Bruno Jacinto (Universidade de Lisboa).
Geometry & Physics Seminar, por Davide Guzzetti (SISSA, Italy).
Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).
Colóquio de Matemática, por Bruno Loff (University of Porto).
Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).
Lisbon Webinar in Analysis and Differential Equations, por Giuseppe Negro (CAMGSD, Instituto Superior Técnico).
Mathematical Logic Seminar, por Alexander Meduna (Brno University of Technology).
Livro da autoria de Jorge Buescu (Ciências ULisboa).