The Section of Logic and Computation

Welcome to the Section of Logic and Computation of the Department of Mathematics of IST.


For questions or comments contact: ccal@math.ist.utl.pt