کتاب زبان اصلی WellQuasi Orders in Computation Logic Language and Reasoning   کتاب WellQuasi Orders in Computation Logic Language and Reasoning A Unifying Concept of Proof Theory Automata Theory Formal Languages and Descriptive Set Theory Trends in Logic اثر Peter M Schuster Monika Seisenberger Andreas Weiermann یک کتاب مطالعاتی است که به توصیف چگونگی تحلیل و نظارت بر روی محاسبات منطق زبان و دلالت می پردازد این کتاب توسط انتشارات Springer در سال 2018 منتشر شده است این کتاب ارزشمندی برای تحلیلگران محاسبات منطق و زبان است نویسنده این کتاب Peter M Schuster همچنین کتابهای موفقی مانند Automata Languages and Programming Lecture Notes in Computer Science و Automata Theory Springer Undergraduate Texts in Mathematics and Technology را نیز نوشته است