ようこそ  ゲスト さん

国際基督教大学OPAC

ヘルプ
入力補助
English
OPAC
資料案内
    • 新着図書
    • 雑誌最新巻号
    • 雑誌タイトル検索
    • AV資料リスト
    • 新着書評
MyLibrary
    • 貸出・予約・延滞状況の確認
    • 本の取寄せ・コピーの取寄せ申込み
    • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
    • 本の購入申込み
    • 本の購入申込み状況照会
    • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
    • 学生希望図書リクエスト状況照会
    • パスワード変更
  • 図書館 HP
  • 授業指定図書
  • ICU Discovery
  • データベース一覧
  • ICUリポジトリ
  • ICU図書館
  • CiNii Books

蔵書検索

ICU図書館の所蔵資料を検索します。

CiNii Books

他大学図書館の所蔵資料を検索します。

検索をやりなおす
  • 簡易検索
  • 詳細検索
  • 分類検索

検索条件

  •  

資料区分

検索対象

検索オプション

資料区分:
全ての項目:
タイトル:
タイトル(完全形):
著者名:
著者名典拠ID:
出版者:
ISBN:
ISSN:
NCID:
件名:
分類:
注記:
出版年: –
言語:
並び順:
一覧表示件数:
  • 日本十進分類

分類

検索条件

キーワード:

» 絞込条件

検索結果

本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。

検索キーワード:(標準分類: 511.3)

該当件数:33件

  • 件
  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
  • 1.

    Logic in Wonderland : an introduction to logic through reading Alice'a adventures in wonderland / Nitsa Movshovitz-Hadar, Atara Shriki

    : student's workbook. - Singapore : World Scientific Publishing , c2019

     図書 [BB28408948]



  • 2.

    土の物理学 : 土質工学の基礎 / 土壌物理研究会編

    東京 : 森北出版 , 1979.10

     図書 [BN0074652X]



  • 3.

    Soil mechanics, its principles and structural applications,

    1st ed.. - New York : McGraw-Hill , 1941.. - London

     図書



  • 4.

    土質力学 / 最上武雄著

    東京 : 岩波書店 , 1951. - (岩波全書 ; 第148)

     図書



  • 5.

    土質力学 / 最上武雄著

    改稿版. - 東京 : 岩波書店 , 1958. - (岩波全書)

     図書



  • 6.

    Stochastic coalgebraic logic / Ernst-Erich Doberkat

    Berlin ; Heidelberg : Springer , c2010. - (Monographs in theoretical computer science)

     図書



  • 7.

    Principles of geotechnical engineering / Braja M. Das, Khaled Sobhan

    : electronic bk. - 8th ed., SI ed. - Stamford, Conn. : Cengage Learning , c2014

     電子ブック



  • 8.

    絵とき地震による液状化とその対策 / 関東地質調査業協会液状化研究会編

    東京 : オーム社 , 2012.9

     図書 [BB10498485]



  • 9.

    Logic of mathematics : a modern course of classical logic / Zofia Adamowicz, Pawel Zbierski

    New York : Wiley , ©1997. - (Pure and applied mathematics)

     電子ブック



  • 10.

    Proof theory and algebra in logic / Hiroakira Ono

    Singapore : Springer , c2019. - (Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman)

     図書 [BB28915469]



  • 11.

    Gödel's proof / by Ernest Nagel and James R. Newman ; edited and with a new foreword by Douglas R. Hofstadter

    Rev. ed.. - New York : New York University Press , c2001

     図書 [BA55742151]



  • 12.

    Proofs and fundamentals : a first course in abstract mathematics / Ethan D. Bloch

    : us,: sz. - Boston : Birkhäuser , c2000

     図書 [BA47643551]



  • 13.

    Transition to higher mathematics : structure and proof / Bob A. Dumas, John E. McCarthy

    : hbk.. - Boston : McGraw-Hill , c2007. - (Walter Rudin student series in advanced mathematics)

     図書 [GB24249978]



  • 14.

    The mathematical method : a transition to advanced mathematics / Murray Eisenberg

    Upper Saddle River, N.J. : Prentice Hall , c1996

     図書 [BA2868305X]



  • 15.

    A first journey through logic / Martin Hils, François Loeser

    Providence, R.I. : American Mathematical Society , c2019. - (Student mathematical library ; v. 89)

     図書 [BB28890878]



  • 16.

    Mathematical proofs : a transition to advanced mathematics / Chartrand, Polimeni, Zhang

    paperback,paperback. - 3rd ed, Pearson new international ed. - Harlow, Essex : Pearson Education , c2014. - (Pearson custom library)

     図書 [GK51986767]



  • 17.

    Kurt Gödel and the foundations of mathematics : horizons of truth / edited by Matthias Baaz [and others]

    (Cambridge : Cambridge University Press , 2011)

     電子ブック



  • 18.

    Categories and modules with K-theory in view / A.J. Berrick & M.E. Keating

    (Cambridge : Cambridge University Press , 2000). - (Cambridge studies in advanced mathematics ; 67)

     電子ブック



  • 19.

    Independence-friendly logic : a game-theoretic approach / [by] Allen L. Mann, Gabriel Sandu, Merlijn Sevenster

    : pbk. - Cambridge, UK : Cambridge University Press , 2011. - (London Mathematical Society lecture note series ; 386)

     図書 [BB05609510]



  • 20.

    The art of proof : basic training for deeper mathematics / Matthias Beck, Ross Geoghegan

    New York : Springer , c2010. - (Undergraduate texts in mathematics)

     図書 [BB03424117]



  • 21.

    活断層とどう向き合うか / 常田賢一, 片岡正次郎著

    東京 : 理工図書 , 2012.11

     図書 [BB10983538]



  • 22.

    Lectures on linear logic / A.S. Troelstra

    : [hard],: pbk. - Stanford, Calif. : Center for the Study of Language and Information , c1992. - (CSLI lecture notes ; no. 29)

     図書 [BA14283257]



  • 23.

    Partiality, truth, and persistence / Tore Langholm

    : pbk. - [Stanford, CA] : Center for the Study of Language and Information , c1988. - (CSLI lecture notes ; no. 15)

     図書 [BA06646865]



  • 24.

    Classical mathematical logic : the semantic foundations of logic / Richard L. Epstein ; with contributions by Lesław W. Szczerba

    Princeton, N.J. : Princeton University Press , c2006

     図書 [BA77816604]



  • 25.

    Introduction to mathematical structures and proofs / Larry J. Gerstein

    2nd ed. - New York : Springer , c2012. - (Undergraduate texts in mathematics)

     図書 [BB0947251X]



  • 26.

    Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.)

    : set. - Berlin : Springer , c1997

     図書 [BA29766119]

  • 27.

    Philosophy of Mathematics / edited by Andrew D. Irvine

    Amsterdam : North-Holland , 2009. - (Handbook of the philosophy of science / general editors, Dov M. Gabbay, Paul Thagard, and John Woods)

     図書 [BA90999280]



  • 28.

    Computability theory / S. Barry Cooper

    Boca Raton, Fla. : CRC Press , c2004. - (Chapman & Hall/CRC mathematics)

     図書 [BA64717927]



  • 29.

    Introduction to mathematical logic / Elliott Mendelson

    6th ed. - Boca Raton : CRC Press , c2015. - (Textbooks in mathematics / series editor, Denny Gulick)

     図書 [BB1923402X]



  • 30.

    Mathematical logic / by Joseph R. Shoenfield

    : pbk. - Boca Raton, FL : CRC Press , 2010

     図書 [BB11414924]



  • 31.

    Word, language, grammar / G. Rozenberg, A. Salomaa, (eds.)

    2 vols. set - v. 2. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 1)

     図書 [BA29765998]



  • 32.

    Linear modeling : background and application / G. Rozenberg, A. Salomaa, (eds.)

    : pbk. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 2)

     図書 [BA2976701X]



  • 33.

    Beyond words / G. Rozenberg, A. Salomaa, (eds.)

    : [pbk]. - Berlin : Springer , c1997. - (Handbook of formal languages / G. Rozenberg, A. Salomaa, (eds.) ; v. 3)

     図書 [BA29767144]



  • メール送信
  • ファイル出力
  • RefWorks出力
  • EndNote Basic出力
  • Mendeley出力
  • 選択した資料の詳細表示
全選択
CLOSE

絞込項目

CLOSE

資料案内

  • 新着図書
  • 雑誌最新巻号
  • 雑誌タイトル検索
  • AV資料リスト
  • 新着書評

MyLibrary

  • 貸出・予約・延滞状況の確認
  • 本の取寄せ・コピーの取寄せ申込み
  • 本の取寄せ・コピーの取寄せ申込み状況照会(2008年4月以降分)
  • 本の購入申込み
  • 本の購入申込み状況照会
  • 本の購入申込み(堀内彩子メモリアル図書資金:学生用)
  • 学生希望図書リクエスト状況照会
  • パスワード変更

関連

  • 図書館HP
  • ICU Discovery
  • データベース一覧

©2013 国際基督教大学