Paolo Pistone and Thomas Seiller, First-order logic (paper 3 section 2-5)

Schedule