ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

検索キーワード:(件名: #Algebra Boolean)

該当件数:20件

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

    Nearly projective Boolean algebras / Lutz Heindorf, Leonid B. Shapiro with an appendix by Sakaé Fuchino.

    Berlin : Springer-Verlag , c1994.. - New York. - (Lecture notes in mathematics ; ; 1596). - (Lecture notes in mathematics (Springer-Verlag))

     図書 [BA23920307]



  • 2.

    Introduction to Boolean algebras / Steven Givant, Paul Halmos

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

     図書 [BA89020566]



  • 3.

    Boolean algebras.

    2d ed.. - Berlin : Springer , 1964.. - (Ergebnisse der Mathematik und ihrer Grenzgebiete, ; n.F., Bd. 25. Reihe : Reelle Funktionen). - (Ergebnisse der Mathematik und ihrer Grenzgebiete.)

     図書



  • 4.

    Boolean calculus of differences / André Thayse.

    Berlin : Springer-Verlag , 1981.. - New York. - (Lecture notes in computer science. ; 101)

     図書



  • 5.

    Two applications of logic to mathematics / by Gaisi Takeuti.

    [Tokyo] : Iwanami Shoten , 1978.. - [Princeton, N.J.] : Princeton University Press. - (Publications of the Mathematical Society of Japan ; ; 13.). - (Publications of the Mathematical Society of Japan.). - (Kano memorial lectures ; ; 3). - (Publications of the Mathematical Society of Japan.)

     図書



  • 6.

    Introduction to the comparative method with Boolean algebra / Daniele Caramani

    : pbk. - Thousand Oaks : Sage , c2009. - (Sage publications series ; . Quantitative applications in the social sciences ; no. 07-158)

     図書 [BA86568580]



  • 7.

    Boolean constructions in universal algebras / by A.G. Pinus.

    Dordrecht : Kluwer Academic , c1993.. - Boston. - (Mathematics and its applications ; ; v. 242). - (Mathematics and its applications (Kluwer Academic Publishers))

     図書 [BA19916689]



  • 8.

    Pseudo-Boolean methods for bivalent programming / [by] P. L. Ivanescu [and] S. Rudeanu.

    Berlin : Springer-Verlag , 1966.. - New York. - (Lecture notes in mathematics ; 23)

     図書



  • 9.

    Computing boolean statistical models / Paulo Murilo Castro de Oliveira.

    Singapore : World Scientific , c1991.. - Teaneck, NJ

     図書 [BA12532951]



  • 10.

    Probability algebras and stochastic spaces / [by] Demetrios A. Kappos. -

    New York, : Academic Press , 1969.. - (Probability and mathematical statistics. ; 7)

     図書 [BA07616611]



  • 11.

    The comparative method : moving beyond qualitative and quantitative strategies / Charles C. Ragin

    pbk.,ebook. - Berkeley, California : University of California Press , c2014

     図書 [BB16981499]



  • 12.

    Boolean-valued models and independence proofs in set theory / J.L. Bell.

    2nd ed.. - Oxford [Oxfordshire] : Clarendon Press , 1985.. - (Oxford logic guides. ; 12). - (Oxford science publications.)

     図書 [BA03149183]



  • 13.

    Boolean semantics for natural language / Edward L. Keenan and Leonard M. Faltz.

    Dordrecht : D. Reidel Pub. Co. , c1985.. - Boston : Sold and distributed in the U.S.A. and Canada by Kluwer Academic. - Hingham, MA. - (Synthese language library. ; v. 23)

     図書



  • 14.

    P-functions and Boolean matrix factorization : a unified approach for wired, programmed and microprogrammed implementations of discrete algorithms / André Thayse.

    Berlin : Springer-Verlag , 1984.. - Tokyo. - (Lecture notes in computer science. ; 175)

     図書



  • 15.

    Operator algebras generated by commuting projections : a vector measure approach / Werner Ricker.

    Berlin : Springer , c1999.. - New York. - (Lecture notes in mathematics ; ; 1711). - (Lecture notes in mathematics (Springer-Verlag) ;)

     図書 [BA4345563X]



  • 16.

    From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung

    Berlin : Springer , c2011. - (Lecture notes in mathematics ; 2029)

     図書 [BB06372825]



  • 17.

    Topological semifields and their applications to general topology / by M. Ja. Antonovskii, V. G. Boltjanskii, and T. A. Sarymsakov.

    Providence, R.I. : American Mathematical Society , 1977.. - (American Mathematical Society translations ; ser. 2, v. 106). - (American Mathematical Society translations.)

     図書 [BA02977918]



  • 18.

    Pseudo-Boolean programming and applications : presented at the Colloquium on mathematics and cybernetics in the economy, Berlin, October 1964.

    Berlin : Springer , 1965.. - (Lecture notes in mathematics ; 9)

     図書



  • 19.

    Simplified independence proofs; : Boolean valued models of set theory / [by] J. Barkley Rosser.

    New York, : Academic Press , 1969.. - (Pure and applied mathematics, a series of monographs and textbooks ; ; v. 31). - (Pure and applied mathematics (Academic Press))

     図書



  • 20.

    Théorie des modèles en logique mathématique.

    2e éd.. - Montréal, : Presses de l'Université de Montréal , 1967.. - (Séminaire de mathématiques supérieures, ; 6). - (Séminaire de mathématiques supérieures.)

     図書



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学