( oui je sais bien – je parlais de la logique mathématique )

arnsy (./42) :

PoissonPilote (./38) :
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?

Euh... Je connais pas de bouquin spécial à te recommander, moi j'ai appris à partir des cours... De toutes manières, tu ne trouveras pas de bouquins qui traitent uniquement de "logique", mais de "théorie des ensembles", ce qui est la vraie face de la logique.

T'en fais quoi de la théorie des modèles (ça renifle els catégories..), de la calculabilité, de la démonstration, des types, etc. ?
Sinon je crois que le bouquin le plus classique est Handbook of Mathematical Logic