ผู้เขียน: Andreas Weiermann

This book bridges the gaps between logic, mathematics and computer science by delving into the theory of well-quasi orders, also known as wqos. This highly active branch of combinatorics is deeply ro …

This book constitutes the proceedings of the 17th Conference on Computability in Europe, Ci E 2021, organized by the University of Ghent in July 2021. Due to COVID-19 pandemic the conference was held …