Logique et informatique, une introduction — Ecole de printemps d'informatique théorique (17 ; 1989 ; Albi)