核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(著者名に左の語を含む: #*竹内 外史)
該当件数:4件
直観主義的集合論 / 竹内外史著
東京 : 紀伊国屋書店 , 1980.12. - (紀伊國屋数学叢書 ; 20)
図書
線形代数と量子力学 / 竹内外史著
東京 : 裳華房 , 1981.3. - (基礎数学選書 ; 24)
リー代数と素粒子論 / 竹内外史著
東京 : 裳華房 , 1983.11
Two applications of logic to mathematics / by Gaisi Takeuti
ja. - [Tokyo] : Iwanami Shoten. - [Princeton, N.J.] : Princeton University Press , 1978. - (Publications of the Mathematical Society of Japan ; 13 . Kanō memorial lectures ; 3)