webj.bib

@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