4 ms·Type Theory and Themes in Philosophical Logic – Greg Restall – TYPES 20253 points by matt_d 1y ago