Capmus
Phil 151 & 152 textbook - mathematical introduction to logic — Capmus