Chairman : Mary Leng
2:30 - 4:00pm
Symposium
Not recorded
Properties, Skolem and the Interpretation of Second-Order Logic
Bob Hale
2:30 - 4:00pm
