Entete


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