NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Help
Login
Help
Login
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1980s
(4)
1990s
(5)
2000s
(8)
2010s
(2)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
(6)
Periodicals
(10)
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
(1)
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
(2)
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
(7)
Paper
(12)
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 19
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
現代数理論理学序説
現代数理論理学序説
Paper
図書
古森雄一, 小野寛晰 著
日本評論社
2010.6
<MA41-J40>
National Diet Library
Other Libraries in Japan
チャーチのラムダ計算のBCK論理による再生
チャーチのラムダ計算のBCK論理による再生
Paper
図書
古森雄一, 千葉大学 [著]
[古森雄一]
2003-2006
<Y151-H15540107>
National Diet Library
部分構造論理の研究
部分構造論理の研究
Paper
図書
古森, 雄一, 千葉大学
1998-1999
<Y151-H10640103>
National Diet Library
チャーチのラムダ計算のBCK論理による再生
チャーチのラムダ計算のBCK論理による再生
Paper
図書
研究代表者 古森雄一
[千葉大学]
2007.3
Other Libraries in Japan
部分構造論理の研究
部分構造論理の研究
Paper
図書
研究代表者 古森雄一
[千葉大学]
2000.4
Other Libraries in Japan
Case Calculus for Classical Logic
Case Calculus for Classical Logic
Digital
文書・図像類
馬場, 謙介, 廣川, 佐千男, 鹿島, 亮, 古森, 雄一, 竹内, 泉
Department of Informatics, Kyushu University
2000-08-08
DOI Technical Report
178
Available online
Other Libraries in Japan
超ウカシュヴイッツ命題論理
超ウカシュヴイッツ命題論理
Paper
博士論文
古森雄一 [著]
<UT51-57-M372>
National Diet Library
A reduction rule for Peirce's formula makes all the terms with the same type equal
A reduction rule for Peirce's formula makes all the terms with the same type equal
Digital
文書・図像類
廣川, 佐千男, 古森, 雄一, 竹内, 泉
Research Institute of Fundamental Information Science, Kyushu University
1994-09-13
RIFIS Technical Report
91
Available online
Other Libraries in Japan
Super-Łukasiewicz propositional logics = 超ウカシュヴィッツ命題論理
Super-Łukasiewicz propositional logics = 超ウカシュヴィッツ命題論理
Paper
図書
Yuichi Komori
東京大学数理科学研究科
1981
Other Libraries in Japan
数理解析研究所講究録
数理解析研究所講究録
Paper
雑誌
京都大学数理解析研究所
1964-
<Z43-1336>
National Diet Library
Other Libraries in Japan
数学セミナー
数学セミナー
Paper
Digital
雑誌
日本評論社
1991-
<Z15-27>
National Diet Library
数セミ : 数学セミナー
数セミ : 数学セミナー
Paper
Digital
雑誌
日本評論社
1985-1991
<Z15-27>
National Diet Library
Reached to the end of result.
Bulk download of bibliographic information