著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Schuster, Peter M. and Seisenberger, Monika and Weiermann, Andreas","Well-quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory",,Springer,2020,Trends in logic : studia logica library,,9783030302313,,https://cir.nii.ac.jp/crid/1130570994474330270