Augustus De Morgan wrote First Notions of Logic for students about to meet Euclid: a short, exact account of propositions, syllogisms and valid inference — the reasoning machinery geometry silently assumes — delivered with the clarity that made De Morgan the finest mathematical expositor of his generation.
It remains one of the quickest honest routes into formal logic ever written. Download the free EPUB and spend an hour sharpening the instrument every proof depends on.