Fac-similé de l'édition de 1969, Paris, Gauthiers-Villars, Louvain, E. Nauwelaerts

L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques.

• Éléments de logique Méthode déductive
  • L'usage des variables
  • Le calcul des propositions
  • La théorie de l'identité
  • La théorie des classes
  • La théorie des relations
  • La méthode déductive
• Applications de la logique et de la méthodologie à la construction des théories mathématiques
  • Construction d'une théorie mathématique : lois d'ordre pour les nombres
  • Construction d'une théorie mathématique : lois de l'addition et de la soustraction
  • Considérations méthodologiques sur la théorie que nous venons de construire
  • Extension de la théorie construite : fondements de l'arithmétique des nombres réels
  • Lectures conseillées
  • Développement systématique de la logique
  • Théorie générale des ensembles
  • Fondements de l'arithmétique en logique et en théorie des ensembles
  • Méthodologie des sciences déductives
  • Fondements axiomatiques de théories mathématiques particulières
  • Histoire de la logique
  • Philosophie de la logique et des mathématiques