Introduction pratiqué aux Logiques classiques

Les logiques formelles ont pour but d''étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu''au souhait de reproduire des raisonnements humains dans des systèmes informatiques. Cet ouvrage, construit à partir d''un enseignement destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large public. Il traite principale...