:: logique & philosophie ::
Here's an updated link to Ted Sider's draft : Logic for Philosophy[h.t. David Nicolas]