Président de séance : Mary Leng
14:30 à 16:00
Colloque
Non enregistré
Properties, Skolem and the Interpretation of Second-Order Logic
Bob Hale
14:30 à 16:00