Ein praxisorientiertes Buch über formale Logik, das mit klaren Erklärungen von Aussagen- und Prädikatstheorie sowie verknüpften Beispielen aus Mathematik, Informatik und Philosophie die Leser dazu anregt, ihre Argumentationsfähigkeiten zu vertiefen.