Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)
  • 洋書

Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)  Paperback,  言語:ENG

Schuster, Peter M. (EDT)/ Seisenberger, Monika (EDT)/ Weiermann, Andreas (EDT)

  • ウェブストア価格 ¥44,489(本体¥40,445)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 404pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)
  • 洋書
  • 電子版あり

Well-Quasi Orders in Computation, Logic, Language and Reasoning : A Unifying Concept of Proof Theory, Automata Theory, Formal Languages and Descriptive Set Theory (Trends in Logic)  Hardcover,  言語:ENG

Schuster, Peter M. (EDT)/ Seisenberger, Monika (EDT)/ Weiermann, Andreas (EDT)

  • ウェブストア価格 ¥44,489(本体¥40,445)
  • Springer Nature Switzerland AG(2020/01発売)
  • ポイント 404pt
  • 海外取次在庫
Logic, Construction, Computation (ontos mathematical logic 3)
  • 洋書

Logic, Construction, Computation (ontos mathematical logic 3)

Herausgegeben:Berger, Ulrich/Diener, Hannes/Schuster, Peter

  • DE GRUYTER(2012/07発売)
  • ご注文いただけません