1～3件／全3件 セーフサーチON
  •  
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)

  • ウェブストア価格 ¥43,927（本体¥39,934）
  • Springer Nature Switzerland AG（2021/08発売）
  • ポイント 399pt
  • オンデマンド(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)

  • ウェブストア価格 ¥43,927（本体¥39,934）
  • Springer Nature Switzerland AG（2020/01発売）
  • ポイント 399pt
  • 海外取次在庫
Mathesis Universalis, Computability and Proof (Synthese Library)
  • 洋書

Mathesis Universalis, Computability and Proof (Synthese Library)  Paperback,  言語：ENG

Centrone, Stefania (EDT)/ Negri, Sara (EDT)/ Sarikaya, Deniz (EDT)

  • ウェブストア価格 ¥28,551（本体¥25,956）
  • Springer Nature Switzerland AG（2020/11発売）
  • ポイント 259pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
1～3件／全3件
  •