Mathematical Logic Training

The purpose of this page was to provide information about training in Mathematical Logic
at the Université Lyon 1. It is no longer updated but is kept online to maintain access to the files below, which regroup some teaching resources related to past work in Lyon.