14:30 à 16:00
Colloque
Non enregistré

Properties, Skolem and the Interpretation of Second-Order Logic

Bob Hale
14:30 à 16:00