19thcentury addresses artificialintelligence autobiography biography collectedworks correspondence criticalthinking economie englishproseliterature(collections) formelelogica general history héritage incertitude informatique intelligenceartificielle logic logicprogramming logiquedéfaut logiquesymboliqueetmathématique manuelsd'enseignementsupérieur modern penséecritique philosophers philosophy political programmationlogique raisonnementnonmonotone speeches surveys symbolicandmathematical symbolicandmathematicallogic textbooks théoriepossibilité