Search results for "古森, 雄一" | NDL Search

Search results 19

Group by title

現代数理論理学序説

Paper図書

古森雄一, 小野寛晰著日本評論社2010.6<MA41-J40>

National Diet LibraryOther Libraries in Japan

Author Heading古森, 雄一小野, 寛晰, 1942-

チャーチのラムダ計算のBCK論理による再生

Paper図書

古森雄一, 千葉大学 [著][古森雄一]2003-2006<Y151-H15540107>

National Diet Library

Author Heading古森, 雄一千葉大学

部分構造論理の研究

Paper図書

古森, 雄一, 千葉大学1998-1999<Y151-H10640103>

National Diet Library

Author Heading古森, 雄一

チャーチのラムダ計算のBCK論理による再生

Paper図書

研究代表者古森雄一[千葉大学]2007.3

Other Libraries in Japan

Author Heading古森, 雄一

部分構造論理の研究

Paper図書

研究代表者古森雄一[千葉大学]2000.4

Other Libraries in Japan

Author Heading古森, 雄一

Case Calculus for Classical Logic

Digital文書・図像類

馬場, 謙介, 廣川, 佐千男, 鹿島, 亮, 古森, 雄一, 竹内, 泉Department of Informatics, Kyushu University2000-08-08DOI Technical Report178

Available onlineOther Libraries in Japan

Author Heading馬場, 謙介廣川, 佐千男鹿島, 亮古森, 雄一竹内, 泉

超ウカシュヴイッツ命題論理

Paper博士論文

古森雄一 [著]<UT51-57-M372>

National Diet Library

Author Heading古森, 雄一

A reduction rule for Peirce's formula makes all the terms with the same type equal

Digital文書・図像類

廣川, 佐千男, 古森, 雄一, 竹内, 泉Research Institute of Fundamental Information Science, Kyushu University1994-09-13RIFIS Technical Report91

Available onlineOther Libraries in Japan

Author Heading廣川, 佐千男古森, 雄一竹内, 泉

Super-Łukasiewicz propositional logics = 超ウカシュヴィッツ命題論理

Paper図書

Yuichi Komori東京大学数理科学研究科1981

Other Libraries in Japan

Author Heading古森, 雄一

数理解析研究所講究録

Paper雑誌雑誌タイトル

京都大学数理解析研究所1964-<Z43-1336>

National Diet LibraryOther Libraries in Japan

数学セミナー

PaperDigital雑誌雑誌タイトル

日本評論社1991-<Z15-27>

National Diet Library

数セミ : 数学セミナー

PaperDigital雑誌雑誌タイトル

日本評論社1985-1991<Z15-27>

National Diet Library

Reached to the end of result.

RSS