COTE : S.T/293
ISBN : 978273021569
TITRE : Les demonstrations et les algorithmes : introduction a la logique et a la calculabilite
AUTEUR : Dowek, Gilles
N° EXEMPLAIRE : 2