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

Schedule

• May 28, 2018, 15:00 - 16:15
• May 29, 2018, 9:00 - 10:15