Introduction à la logique contemporaine

Pour que ce précis soit fidèle à son titre et directement accessible à tout lecteur sans connaissances préalables, si ce n'est quelques notions élémentaires de logique classique, l'auteur a volontairement évité la présentation axiomatique et les démonstrations formelles. Il a plutôt visé à conduire progressivement l'esprit, par les voies de l'intuition, jusqu'au point où apparaissent les raisons des théories logiques contemporaines. Mais, en même temps qu'il ouvre l'accès aux développements de la logique depuis un siècle, cet ouvrage en donne une large vue d'ensemble en touchant à des problèmes et à des théories que beaucoup de traités élémentaires laissent de côté. Ainsi, par son souci pédagogique de ne rien utiliser qui ne soit préalablement introduit et expliqué, en particulier en ce qui concerne les usages terminologiques ou algorithmiques, cet ouvrage, devenu un classique, constitue une remarquable introduction aux logiques modernes.