This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also …