ようこそ  ゲスト さん

北海道大学蔵書目録

ヘルプ
入力補助
English
TOP
データベース
北方資料データベース
図書館Webサービス
    • 貸出・予約状況照会・貸出延長
    • メールアドレス登録・変更・削除
    • 文献複写・貸借申込み
    • 文献複写・貸借申込み状況照会
    • 教職員図書購入申込み
    • 教職員図書購入申込み状況照会
    • 予算状況照会
    • 予算差引簿
    • パスワード変更(図書館利用者ID専用)
  • 附属図書館
  • HUSCAP
  • 本は脳を育てる
  • 北海道大学
  • 北海道大学
  • CiNii Books
  • CiNii Articles
  • 国立国会図書館
  • その他の検索
    • CiNii Books
    • CiNii Articles
    • 国立国会図書館

蔵書検索

学内で所蔵している図書や雑誌(電子ブック、電子ジャーナル等含む)を検索します。

CiNii Books

全国の大学図書館等が所蔵する図書や雑誌を検索できます。

CiNii Articles

日本の学術論文情報を検索できます。

国立国会図書館

国立国会図書館オンライン、国立国会図書館デジタルコレクション、青空文庫を検索します。

検索条件を開く
  • 簡易検索
  • 詳細検索

検索条件

  •  

資料区分

部局

検索オプション

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

» 絞込条件

検索結果

メッセージID:0209 検索結果の書名をクリックするとさらに詳しい情報が見られる詳細画面に移ります。予約やILLは詳細画面で出来ます。

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

該当件数:710件

  • 件
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 選択した資料の一覧表示
  • ファイル出力
  • EndNote Basic出力
  • Mendeley出力
全選択
  • 1.
    図書

    A beginner's guide to mathematical logic / Raymond M. Smullyan

    Mineola : Dover Publications , 2014. - (Dover books on mathematics)

    書誌ID=2001619592 NCID=BB16286898



  • 2.
    図書

    Towards a general theory of classifications / Daniel Parrochia・Pierre Neuville

    Basel : Birkhäuser , c2013. - (Studies in universal logic)

    書誌ID=2001581865 NCID=BB12737248



  • 3.
    図書

    A course in mathematical logic for mathematicians / Yu.I. Manin

    2nd ed. / chapters I-VIII translated from the Russian by Neal Koblitz ; with new chapters by Boris Zilber and Yuri I. Manin. - New York : Springer , c2010. - (Graduate texts in mathematics ; 53)

    書誌ID=2001458712 NCID=BB00099461



  • 4.
    図書

    Mathematical logic : foundations for information science / Wei Li

    Basel : Birkhäuser , c2010. - (Progress in computer science and applied logic ; v. 25)

    書誌ID=2001471800 NCID=BB00501925



  • 5.
    図書

    Introduction to mathematical logic / Elliott Mendelson

    : hard. - 5th ed. - Boca Raton : Chapman & Hall/CRC , c2010. - (Discrete mathematics and its applications / Kenneth H. Rosen, series editor)

    書誌ID=2001444166 NCID=BA91350315



  • 6.
    図書

    Realizability : an introduction to its categorical side / Jaap van Oosten

    Amsterdam ; Tokyo : Elsevier , 2008. - (Studies in logic and the foundations of mathematics ; v. 152)

    書誌ID=2001391772 NCID=BA85667714



  • 7.
    図書

    Second-order quantifier elimination : foundations, computational aspects and applications / Dov M. Gabbay, Renate A. Schmidt, and Andrzej Szałas

    London : College Publications , 2008. - (Studies in logic / series editor, Dov Gabbay ; v. 12)

    書誌ID=2001532933 NCID=BB07665829



  • 8.
    図書

    A concise introduction to mathematical logic / Wolfgang Rautenberg

    : pbk. - 2nd ed. - New York, NY : Springer , c2006. - (Universitext)

    書誌ID=2001401436 NCID=BA77159875



  • 9.
    図書

    Mathematical logic / Stephen Cole Kleene

    Mineola, N.Y : Dover , 2002. - (Dover books on mathematics)

    書誌ID=2001058393 NCID=BA60561655



  • 10.
    図書

    A natural history of negation / Laurence R. Horn

    : pbk. - Stanford, Calif. : CLSI Publications , c2001. - (The David Hume series, philosophy and cognitive science reissues)

    書誌ID=2001026329 NCID=BA54212753



  • 11.
    図書

    Mathematical logic / edited by R.O. Gandy and C.E.M. Yates ; including prafaces by Solomon Feferman ... [et al.]

    Amsterdam ; Tokyo : Elsevier , 2001. - (Collected works of A.M. Turing)

    書誌ID=2000991287 NCID=BA55221385



  • 12.
    図書

    A mathematical introduction to logic / Herbert B. Enderton

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

    書誌ID=2000923986 NCID=BA50081314



  • 13.
    図書

    Logical forms : an introduction to philosophical logic / Mark Sainsbury

    : hbk,: pbk. - 2nd ed. - Oxford, UK : Blackwell Publishers , 2001

    書誌ID=2001555888 NCID=BA50531953



  • 14.
    図書

    The logic of arithmetic / Walter Felscher

    Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 3)

    書誌ID=2000957510 NCID=BA47193921



  • 15.
    図書

    Set theoretical logic : the algebra of models / Walter Felscher

    Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 1)

    書誌ID=2000871405 NCID=BA47190617



  • 16.
    図書

    Calculi for derivations and deductions / Walter Felscher

    Amsterdam : Gordon and Breach Science Publishers , c2000. - (Lectures on mathematical logic / Walter Felscher ; v. 2)

    書誌ID=2000871410 NCID=BA47193342



  • 17.
    図書

    An introduction to substructural logics / Greg Restall

    pbk.. - London ; New York : Routlege , 2000

    書誌ID=2000812869 NCID=BA45117773



  • 18.
    図書

    Fibring logics / Dov M. Gabbay

    : hbk. - Oxford : Clarendon Press , c1999. - (Oxford logic guides ; 38)

    書誌ID=2000753752 NCID=BA38922000



  • 19.
    図書

    Principles of mathematical logic / D. Hilbert and W. Ackermann ; translated from the German by Lewis M. Hammond, George G. Leckie, F. Steinhardt ; edited and with notes by Robert E. Luce

    Providence, R.I. : American Mathematical Society , 1999

    書誌ID=2000795720 NCID=BA43307064



  • 20.
    図書

    In the light of logic / Solomon Feferman

    New York : Oxford University Press , c1998. - (Logic and computation in philosophy)

    書誌ID=2000749934 NCID=BA3869828X



  • 選択した資料の一覧表示
  • ファイル出力
  • EndNote Basic出力
  • Mendeley出力
全選択
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
CLOSE

絞込項目

CLOSE

新着案内

  • 図書新着案内
  • 雑誌新着巻号案内
  • AV資料新着案内

タイトルリスト

  • 雑誌タイトルリスト
  • AV資料タイトルリスト

図書館Webサービス

  • 貸出・予約状況照会・貸出延長
  • メールアドレス登録・変更・削除
  • 文献複写・貸借申込み
  • 文献複写・貸借申込み状況照会
  • 教職員図書購入申込み
  • 教職員図書購入申込み状況照会
  • 予算状況照会
  • 予算差引簿
  • パスワード変更(図書館利用者ID専用)

関連

  • HUSCAP
  • 北方資料データベース
  • データベース
  • 附属図書館
  • 北海道大学