Ouvrage accessible à quiconque souhaite aborder les théories logiques contemporaines, sans connaissances préalables. Il constitue une vue d'ensemble sur les développements de la logique depuis un siècle.