核融合科学研究所図書室を検索します。
CiNii Researchを検索します。
NDLサーチのサイトはこちら
CiNii Booksを検索します。
目次情報検索を検索します。
SCOPUSを検索します。検索パネルが閉じている場合は+ボタンを押してください。
Web of Scienceを検索します。検索パネルが閉じている場合は+ボタンを押してください。
岡崎図書館を検索します。検索パネルが閉じている場合は+ボタンを押してください。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(件名: #Logic Symbolic and mathematical)
該当件数:3件
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
Mathematical logic and theoretical computer science / edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
New York : M. Dekker , c1987. - (Lecture notes in pure and applied mathematics ; v. 106)