本文に飛ぶ

年 〜
年

検索結果 7 件

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)

Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)
紙図書
Toshiyasu AraiSpringer[2020]<MA21-D26>
国立国会図書館

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)

Knowledge, proof and dynamics : the Fourth Asian Workshop on Philosophical Logic (Logic in Asia: Studia logica library)
紙図書
Fenrong Liu, Hiroakira Ono, Junhua Yu, editors.Springer[2020]<H35-D4>
国立国会図書館全国の図書館

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)

Modality, semantics and interpretations : the second Asian Workshop on Philosophical Logic (Logic in Asia: studia logica library)
紙図書
Shier Ju, Hu Liu, Hiroakira Ono, editors.Springer[2015]<H35-B17>
国立国会図書館全国の図書館

Donald Davidson on action, mind and value

Donald Davidson on action, mind and value
紙図書
Syraya Chin-Mu Yang, Robert H. Myers, editorsSpringerc2021
全国の図書館

Ordinal analysis with an introduction to proof theory : [pbk.]

Ordinal analysis with an introduction to proof theory : [pbk.]
紙図書
Toshiyasu AraiSpringerc2020
全国の図書館

Theory of graded consequence : a general framework for logics of uncertainty : [pbk.]

Theory of graded consequence : a general framework for logics of uncertainty : [pbk.]
紙図書
Mihir Kumar Chakraborty, Soma DuttaSpringerc2019
全国の図書館

Structural analysis of non-classical logics : the proceedings of the second Taiwan Philosophical Logic Colloquium

Structural analysis of non-classical logics : the proceedings of the second Taiwan Philosophical Logic Colloquium
紙図書
Syrara Chin-Mu Yang, Duen-Min Den, Hanti Lin, editorsSpringerc2016
全国の図書館

検索結果は以上です。

RSS