小野寛晰(著)/論理学のための証明論・代数入門<br>Proof Theory and Algebra in Logic〈1st ed. 2019〉
  • 洋書電子書籍
  • 電子書籍

小野寛晰(著)/論理学のための証明論・代数入門
Proof Theory and Algebra in Logic〈1st ed. 2019〉
 言語:ENG

Ono, Hiroakira

  • 価格 ¥6,713(本体¥6,103)
  • Springer(2019/08/02発売)
  • ポイント 61pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Knowledge, Proof and Dynamics〈1st ed. 2020〉 : The Fourth Asian Workshop on Philosophical Logic
  • 洋書電子書籍
  • 電子書籍

Knowledge, Proof and Dynamics〈1st ed. 2020〉 : The Fourth Asian Workshop on Philosophical Logic  言語:ENG

Liu, Fenrong (EDT)/Ono, Hiroakira (EDT)/Yu, Junhua (EDT)

  • 価格 ¥25,407(本体¥23,098)
  • Springer(2020/03/23発売)
  • ポイント 230pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
Philosophical Logic: Current Trends in Asia〈1st ed. 2017〉 : Proceedings of AWPL-TPLC 2016
  • 洋書電子書籍
  • 電子書籍

Philosophical Logic: Current Trends in Asia〈1st ed. 2017〉 : Proceedings of AWPL-TPLC 2016  言語:ENG

Yang, Syraya Chin-Mu (EDT)/Lee, Kok Yong (EDT)/Ono, Hiroakira (EDT)

  • 価格 ¥25,407(本体¥23,098)
  • Springer(2017/11/25発売)
  • ポイント 230pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)
剰余束<br>Residuated Lattices: An Algebraic Glimpse at Substructural Logics
  • 洋書電子書籍
  • 電子書籍

剰余束
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
 言語:ENG

Galatos, Nikolaos/Jipsen, Peter/Kowalski, Tomasz/Ono, Hiroakira

  • 価格 ¥23,784(本体¥21,622)
  • Elsevier Science(2007/04/25発売)
  • ポイント 216pt (実際に付与されるポイントはご注文内容確認画面でご確認下さい)