Mit diesem Buch nämlich! Auch wenn das Erscheinungsjahr Manche und Manchen vielleicht abschreckt, zum Einstieg in die (formale) Logik gibt es kein besseres Buch. Warum? Nun, auch wenn formale Logik konzentrierte Arbeit erfordert - und da kommt man wirklich nicht drumherum - schreibt Quine klar (an keiner Stelle muss man sich ab übersprungener Schritte wundern), verständlich, interessant und auf seine kollegiale Art und Weise. Ergänzt wird jedes Kapitel durch Übungsaufgaben, welche zwar keine Lösung haben, aber ohne grosse Mühe lösbar sind und vor allem der Repetition dienen. Ausserdem bietet das Buch mit seinem letzten Kapitel ("Ausblicke"), eine kurze, wirklich gut geschriebene Einführung in philosophische und weitere Aspekte (Klassentheorie, Mathematik ...) der Logik.
Ich empfehle auch jedem und jeder der Logik lernen will oder muss, sich auch mit den philosophischen Hintergründen auseinanderzusetzen - das bietet zusätzliche Motivation und macht den Sinn der eben doch etwas trockenen Logik verständlicher.
Zu empfehlen sind da die Einführungen von Salmon und Grayling.