Éditeur(s) :
                
                    
                        
                            Eyrolles
                        
                    
        
        
                
                
        Expose des notions générales de logique mathématique : la consistance des modèles, la comptabilité des données avec deux formalismes fondamentaux : la logique des propositions et la logique des prédicats (calcul booléen...). ©Electre 2025
                
                
        55,03 €