15/15

@arnsy (ou quelqu'un d'autre qui se sent de répondre): J'ai eu des cours de logique classique au premier semestre de première année, c'était assez succint mais ça m'avait bien plu (prédicats de base, table de karnaugh, table de vérité, quantificateurs, tableaux sémantiques, relations d'ordre, bref tout ça)...comme je n'en referais certainement pas avant ma 4ème année, et encore que si je m'oriente vers ça, tu aurais un/des bouquins à me recommander pour explorer tout ça par moi même?