relu et corrigé par - INFRES
relu et corrigé par. AKIM DEMAILLE ... LOGIQUE ET INFORMATIQUE, UNE
INTRODUCTION ... En ce sens, la logique fait partie des méta-mathématiques,
i.e. des mathé- ..... est prouvable soit B est prouvable et l'examen de la preuve de
A?B.