Décidabilité (logique mathématique) — 4 œuvres