Well-quasi orders in computation, logic, language and reasoning a unifying concept of proof theory, automata theory, formal languages and descriptive set theory /

• 作者：edited by Peter M. Schuster, Monika Seisenberger, Andreas Weiermann.
• 出版者：Springer International Publishing : Imprint: Springer
• 出版地：Cham :
• 語文：英語
• 叢書名：Trends in logic, Studia Logica library,
• 電子資源：https://doi.org/10.1007/978-3-030-30229-0
• ISBN/ISSN/ISRC：9783030302290 ; 9783030302283
• 作者：Schuster, Peter M.;Seisenberger, Monika.;Weiermann, Andreas.
• 索書號：511.6