Introduction à la logique mathématique

Dans ce livre, toutes les facettes de la logique mathématique sont présentées telles que :
la symbologie, les principes et les propriétés de la logique élémentaire
la logique booléenne
théorie des ordres et systèmes axiomatiques
la théorie des ensembles axiomatiques et les théorèmes de Godel
paradoxes et antinomies logiques
logiques descriptives et floues
théorie des nombres et arithmétique modulaire