Logique

Hubert Comon, Gilles Dowek et Guillaume Genestier

La logique des prédicats