This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also …
This volume has its origins in the Research Programme on Set Theory and its Applications that took place at the …