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).
Mathematical Logic Seminar, por Bruno Jacinto (Universidade de Lisboa).
Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).
Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).
Colóquio de Lógica, por Olga Pombo (Faculdade de Ciências da Universidade de Lisboa).
Mathematical Logic Seminar, por Alexander Meduna (Brno University of Technology).
Mathematical Logic Webinar, por Emanuele Frittaion (University of Leeds).
Mathematical Logic Webinar, por Pedro Pinto (Technische Universität Darmstadt).
Mathematical Logic Seminar, por Bruno Loff (Universidade do Porto).
Mathematical Logic Seminar, por Fernando Ferreira (Universidade de Lisboa).