Ein handliches Taschenbuch aus dem Jahr 1998 führt Leser in die Grundlagen der formalen Logik ein, erklärt zentrale Begriffe wie Aussagen, Prädikate und Quantoren und verknüpft sie mit philosophischen Fragen zur Wahrheit und Beweisführung.