Télécharger le livre :  Well-Quasi Orders in Computation, Logic, Language and Reasoning
Ajouter à ma liste d'envies
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 rooted in and between many fields of mathematics and logic, including...

Editeur : Springer
Parution : 2020-01-01
Collection : Trends in Logic
PDF, ePub

179,34