Decidability and finite model property of substructural logics / Hiroakira Ono. (ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)
Decidability and finite model property of substructural logics / Hiroakira Ono.
(ILLC research report and technical notes series. Computation and complexity theory (CT) series ; ML-95-09)
国立国会図書館請求記号
MA41-A104
国立国会図書館書誌ID
000003251541
資料種別
図書
著者
小野, 寛晰, 1942-
出版者
Institute for Logic, Language and Computation (ILLC) , University of Amsterdam