14:30 to 16:00
Symposium
Not recorded

Properties, Skolem and the Interpretation of Second-Order Logic

Bob Hale
14:30 to 16:00