| [照井08] |
照井一成.
線形論理の誕生. 数学（日本数学会）, 近刊. [ bib | .pdf ] |
| [照井07b] |
照井一成.
計算の世界にようこそ. 科学（岩波書店）, Vol. 77, No. 10, pp. 1038-1043, 2007. [ bib | .pdf ] |
| [照井07a] |
照井一成.
1956年の手紙 〜ゲーデルとP≠NP予想. 現代思想臨時増刊号 総特集=ゲーデル. 青土社, 2007. [ bib ] |
| [照井06] |
照井一成.
非古典論理におけるカット除去定理の意味論的考察. 2005年度日本数学会年会予稿集, 2006. [ bib | .pdf ] |
| [照井05] |
照井一成.
計算と論理. 飯田隆（編）, 論理の哲学. 講談社選書メチエ, 2005. [ bib ] |
| [照井04] |
照井一成.
素朴集合論とコントラクション. 科学哲学（日本科学哲学会）, Vol. 36, No. 2, pp. 49-64, 2004. [ bib ] |
| [照井刊] |
照井一成.
論理の基本. 数理科学事典第２版. 丸善, 近刊. [ bib ] |
This file has been generated by bibtex2html 1.79