@INPROCEEDINGS{Terui06J,
AUTHOR = {照井一成},
TITLE = {非古典論理におけるカット除去定理の意味論的考察},
BOOKTITLE = {2005年度日本数学会年会予稿集},
YEAR = {2006},
PDF = {http://www.kurims.kyoto-u.ac.jp/~terui/jms.pdf}
}
@ARTICLE{Terui08J,
AUTHOR = {照井一成},
TITLE = {線形論理の誕生},
JOURNAL = {数学（日本数学会）},
YEAR = {2008},
PDF = {http://www.kurims.kyoto-u.ac.jp/~terui/birth.pdf}
}
@ARTICLE{Terui04J,
AUTHOR = {照井一成},
TITLE = {素朴集合論とコントラクション},
JOURNAL = {科学哲学（日本科学哲学会）},
VOLUME = {36},
NUMBER = {2},
YEAR = {2004},
PAGES = {49-64}
}
@ARTICLE{Terui07J,
AUTHOR = {照井一成},
TITLE = {計算の世界にようこそ},
JOURNAL = {科学（岩波書店）},
VOLUME = {77},
NUMBER = {10},
PAGES = {1038-1043},
YEAR = {2007},
PDF = {http://www.kurims.kyoto-u.ac.jp/~terui/welcome.pdf}
}
@INCOLLECTION{TeruiDic,
AUTHOR = {照井一成},
TITLE = {論理の基本},
BOOKTITLE = {数理科学事典第２版},
PUBLISHER = {丸善},
YEAR = {近刊}
}
@INCOLLECTION{Terui07Ja,
AUTHOR = {照井一成},
TITLE = {1956年の手紙~ 〜ゲーデルと{P≠NP}予想},
BOOKTITLE = {現代思想臨時増刊号~総特集=ゲーデル},
PUBLISHER = {青土社},
YEAR = {2007}
}
@INCOLLECTION{Terui05J,
AUTHOR = {照井一成},
TITLE = {計算と論理},
BOOKTITLE = {論理の哲学},
PUBLISHER = {講談社選書メチエ},
EDITOR = {飯田隆},
YEAR = {2005}
}
This file has been generated by bibtex2html 1.79