Calvin Lab Rm 116
The use of (Relative) Internal Set Theory for Magnitude Monadic Second-Order Logic.
No Upcoming activities yet