Hel,cours complet sur le ocaml et la logique

Bonjour,
je cherche des cours complet riches,des exercices sur :
le OCaml (pour bien métriser ce language)
et encore des cours, exercices sur la logique voici ce que j'ai comme programme
1.Calcul des prédicats du premier ordre
a) Modèles et interprétation
b) Théorème de complétude
c) Méthode des tableaux
d) Méthode de résolution (Unification, résolution)
II. Le langage de l’arithmétique
a) Modèle non-standard de l’arithmétique
b) Théorème d’incomplétude de Gödel

(j'ai cherché sur google j'ai trouvé quelques cours,mais prkoi pas plus!!!).
mercie ....j'attend vos réponses