核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 511/.3)
該当件数:4件
Theory of sets / Nicolas Bourbaki
Paris : Hermann. - Reading, Mass. : Addison-Wesley , c1968. - (Actualités scientifiques et industrielles ; . Elements of mathematics ; 1). - (Adiwes international series in mathematics)
図書
Grammars for programming languages / J. Craig Cleaveland, Robert C. Uzgalis
pbk. - New York : Elsevier , c1977. - (Elsevier computer science library ; . Programming languages series ; 4)
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)
What is mathematical logic ? / J.N. Crossley ... [et al.]
London : Oxford University Press , 1972