ようこそ  ゲスト さん

国際基督教大学OPAC

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

蔵書検索

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

CiNii Books

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

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

検索条件

  •  

資料区分

検索対象

検索オプション

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

分類

検索条件

キーワード:

» 絞込条件

検索結果

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

検索キーワード:(件名: #Logic Symbolic and mathematical.)

該当件数:40件

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

    A concise introduction to pure mathematics / Martin Liebeck.

    2nd ed.. - Boca Raton : Chapman & Hall/CRC , 2006.. - (Chapman & Hall/CRC mathematics)

     図書



  • 2.

    Elements of logic via numbers and sets / D.L. Johnson.

    London : Springer , c1998.. - New York. - (Springer undergraduate mathematics series)

     図書 [BA34974545]



  • 3.

    A mathematical introduction to logic / Herbert B. Enderton.

    2nd ed.. - San Diego : Harcourt/Academic Press , c2001.

     図書 [BA50081314]



  • 4.

    Mathematical logic : a course with exercises / René Cori and Daniel Lascar translated by Donald H. Pelletier.

    Oxford : Oxford University Press , 2000-<2001 >. - New York

     図書 [BA49487763]



  • 5.

    An introduction to substructural logics / Greg Restall.

    London : Routlege , 2000.. - New York

     図書 [BA45117773]



  • 6.

    Logic and structure / Dirk van Dalen.

    4th ed.. - Berlin : Springer-Verlag , c2004.. - New York. - (Universitext)

     図書 [BA66724956]



  • 7.

    How to prove it : a structured approach / Daniel J. Velleman.

    2nd ed.. - Cambridge : Cambridge University Press , 2006.. - New York

     図書



  • 8.

    Symbolism and truth; : an introduction to the theory of knowledge.

    New York, : Dover Publications , [1964]

     図書



  • 9.

    Set theory and logic / by Robert R. Stoll.

    New York : Dover Publications , 1979, c1963.. - (Dover books on mathematics)

     図書



  • 10.

    Logics of specification languages / Dines Bjørner, Martin C. Henson, editors.

    Berlin : Springer , c2008.. - (Monographs in theoretical computer science)

     図書



  • 11.

    Studies in logic and probability / George Boole.

    Mineola, N.Y. : Dover Publications , 2004.. - (Dover phoenix editions)

     図書 [BA70690563]



  • 12.

    Cogwheels of the mind the story of Venn diagrams / A.W.F. Edwards foreword by Ian Stewart.

    Baltimore : Johns Hopkins University Press , 2004.

     図書 [BA67465616]



  • 13.

    Rippling : meta-level guidance for mathematical reasoning / Alan Bundy ... [et al.].

    Cambridge, UK : Cambridge University Press , 2005.. - New York. - (Cambridge tracts in theoretical computer science ; 56)

     図書



  • 14.

    Frege's logic / Danielle Macbeth.

    Cambridge, MA : Harvard University Press , 2005.

     図書



  • 15.

    Logic for applications / Anil Nerode, Richard A. Shore.

    2nd ed.. - New York : Springer , c1997.. - (Graduate texts in computer science). - (Graduate texts in computer science (Springer-Verlag New York Inc.))

     図書



  • 16.

    Tractatus logico-philosophicus / Ludwig Wittgenstein translated by D.F. Pears and B.F. McGuinness introduction by Bertrand Russell.

    London : Routledge , 2001, c1974.. - New York. - (Routledge classics)

     図書 [BA52737279]



  • 17.

    Elements of scientific inquiry / Eric Martin and Daniel Osherson.

    Cambridge, Mass. : MIT Press , c1998.

     図書 [BA36616874]



  • 18.

    Zur Logik der Zahl / Eugen Herrigel.

    Bühl (Baden) : Konkordia , 1921.

     図書



  • 19.

    Lectures in logic and set theory / George Tourlakis.

    Cambridge, UK : Cambridge University Press , 2003.. - New York. - (Cambridge studies in advanced mathematics ; 82-83)

     図書 [BA60165272]



  • 20.

    Analysis and logic / authors, C. Ward Henson ... [et al.] edited by Catherine Finet & Christian Michaux.

    Cambridge, UK : Cambridge University Press , 2002.. - New York. - (London Mathematical Society lecture note series ; 262)

     図書 [BA61078435]



  • 21.

    Automated deduction in classical and non-classical logics : selected papers / Ricardo Caferra, Gernot Salzer (eds.).

    Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; ; 1761.). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)

     図書 [BA45497663]



  • 22.

    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]



  • 23.

    Piaget's logic : a critique of genetic epistemology / Muriel Seltman and Peter Seltman.

    London : Routledge , 2006.. - New York

     図書



  • 24.

    Modelling with words : learning, fusion, and reasoning within a formal linguistic representation framework / Jonathan Lawry, Jimi Shanahan, Anca Ralescu (eds.).

    Berlin : Springer , 2003.. - New York. - (Lecture notes in computer science, ; 2873.). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)

     図書 [BA64755722]



  • 25.

    Linear logic in computer science / edited by Thomas Ehrhard ... [et al.].

    Cambridge : Cambridge University Press , 2004.. - (London Mathematical Society lecture note series ; 316)

     図書 [BA69078075]



  • 26.

    Sets, logic, and categories / Peter J. Cameron.

    London : Springer , c1999.. - New York. - (Springer undergraduate mathematics series)

     図書 [BA40167989]



  • 27.

    Learning to reason : an introduction to logic, sets and relations / Nancy Rodgers.

    New York : J. Wiley , c2000.

     図書 [BA4849448X]



  • 28.

    Logic-based methods for optimization : combining optimization and constraint satisfaction / John Hooker.

    New York : John Wiley & Sons , c2000.. - (Wiley-Interscience series in discrete mathematics and optimization)

     図書 [BA47725634]



  • 29.

    Learning language in logic / James Cussens, Saso Dzeroski, (eds.).

    Berlin : Springer , c2000.. - New York. - (Lecture notes in computer science ; ; 1925.). - (Lecture notes in computer science ;). - (Lecture notes in artificial intelligence). - (Lecture notes in computer science.)

     図書 [BA49085850]



  • 30.

    The limits of science : outline of logic and of the methodology of the exact sciences / Leon Chwistek introduction and appendix by Helen Charlotte Brodie.

    London : Routledge , 2000, c1948.. - (International library of philosophy. Philosophy of logic and mathematics ; ; 3). - (International library of philosophy.). - (Philosophy of logic and mathematics ;)

     図書 [BA4928399X]



  • 31.

    Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, (eds.).

    Berlin : Springer , c1997.. - New York. - (Lecture notes in computer science ; 1261)

     図書 [BA31712145]



  • 32.

    Temporal logic : from ancient ideas to artificial intelligence / by Peter Øhrstrøm and Per F.V. Hasle.

    Dordrecht : Kluwer Academic Publishers , c1995.. - Boston. - (Studies in linguistics and philosophy ; v. 57)

     図書 [BA26042961]



  • 33.

    Effective logic computation / Klaus Truemper.

    New York : Wiley , c1998.

     図書 [BA37931072]



  • 34.

    Automata, logics, and infinite games / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).

    New York : Springer , 2002.. - (Lecture notes in computer science ; 2500)

     図書 [BA60719909]



  • 35.

    A Boole anthology : recent and classical studies in the logic of George Boole / edited by James Gasser.

    Dordrecht : Kluwer Academic Publishers , c2000.. - Boston. - (Synthese library ; v. 291)

     図書 [BA48755109]



  • 36.

    The Frege reader / edited by Michael Beaney.

    Oxford, UK : Blackwell Publishers , 1997.. - Cambridge, Mass.

     図書



  • 37.

    The essential Turing : seminal writings in computing, logic, philosophy, artificial intelligence, and artificial life, plus the secrets of Enigma / edited by B. Jack Copeland.

    Oxford : Clarendon Press , 2004.. - New York : Oxford University Press

     図書



  • 38.

    Ones and zeros : understanding Boolean algebra, digital circuits, and the logic of sets / John Gregg.

    New York : IEEE Press , c1998.. - (IEEE Press understanding science & technology series)

     図書 [BA35377596]



  • 39.

    Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen.

    Amsterdam : Elsevier , 1997.. - New York : MIT Press. - Cambridge, Mass.

     図書



  • 40.

    Introduction to circuit complexity : a uniform approach / Heribert Vollmer.

    Berlin : Springer , c1999.. - New York. - (Texts in theoretical computer science)

     図書 [BA42209478]



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

絞込項目

CLOSE

資料案内

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

MyLibrary

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

関連

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

©2013 国際基督教大学