Computational Logic § Group: 5 #group-5 Relations § Undecidability: Undecidability is a key concept in computational logic, which studies the logical foundations of computation.