ようこそ  ゲスト さん

北海道大学蔵書目録

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

蔵書検索

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

CiNii Books

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

CiNii Research(論文のみ)

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

国立国会図書館

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

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

検索条件

  •  

資料区分

部局

検索オプション

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

» 絞込条件

検索結果

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

検索キーワード:(件名: Logic Congresses)

該当件数:269件

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

    Gödel remembered : Salzburg 10-12 July 1983 / R. Gödel ... [et al.] ; edited by Paul Weingartner and Leopold Schmetterer

    Napoli : Bibliopolis , c1987. - (History of logic ; 4)

    書誌ID=2000162324 NCID=BA03979420



  • 2.
    図書

    The Logica yearbook 2008 / edited by Michal Peliš

    London : College Publications , c2009

    書誌ID=2001669405 NCID=BB20836380



  • 3.
    図書

    A logical approach to philosophy : essays in honour of Graham Solomon / edited by David Devidi and Tim Kenyon

    : hb. - Dordrecht : Springer , c2006. - (The University of Western Ontario series in philosophy of science ; v. 69)

    書誌ID=2001292419 NCID=BA78040517



  • 4.
    図書

    Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 / edited by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen

    Dordrecht, Holland ; Boston : D. Reidel , c1979. - (Synthese library ; v. 122)

    書誌ID=2000225533 NCID=BA05158618



  • 5.
    図書

    Proceedings of the third Scandinavian Logic Symposium / edited by Stig Kanger

    Amsterdam : North-Holland. - New York : American Elsevier , 1975. - (Studies in logic and the foundations of mathematics ; v. 82)

    書誌ID=2000251541 NCID=BA07066827



  • 6.
    図書

    The problem of inductive logic / edited by Imre Lakatos

    Amsterdam : North Holland Pub. Co. , 1968. - (Studies in logic and the foundations of mathematics ; . Proceedings of the International Colloquim in the Philosophy of Science, London, 1965 ; Vol. 2)

    書誌ID=2000602235 NCID=BA18420451



  • 7.
    図書

    Reverberations of Dharmakīrti's philosophy : proceedings of the Fifth International Dharmakīrti Conference Heidelberg, August 26 to 30, 2014 / Birgit Kellner ... [et al.] (eds.)

    Vienna : Austrian Academy of Sciences Press , c2020. - (Sitzungsberichte / Österreichische Akademie der Wissenschaften, Philosophisch-Historische Klasse ; 904. Bd.). - (Beiträge zur Kultur- und Geistesgeschichte Asiens ; Nr. 104)

    書誌ID=2001798163 NCID=BC05938746



  • 8.
    図書

    Informal logic : the first international symposium / edited by J. Anthony Blair and Ralph H. Johnson

    pbk.. - Inverness, Calif. : Edgepress , c1980

    書誌ID=2000317263 NCID=BA09942321



  • 9.
    図書

    Mérites et limites des méthodes logiques en philosophie : colloque international organisé par la Fondation Singer-Polignac en juin 1984 / [colloque organisé par Jules Vuillemin]

    Paris : Librairie philosophique J. Vrin , 1986

    書誌ID=2000034050 NCID=BA00462418



  • 10.
    図書

    Argumentation : approaches to theory formation : containing the contributions to the Groningen Conference on the Theory of Argumentation, October 1978 / edited by E.M. Barth & J.L. Martens

    Amsterdam : Benjamins , 1982. - (Studies in language companion series / series editors, Werner Abraham, Michael Noonan ; v. 8)

    書誌ID=2000253174 NCID=BA07087248



  • 11.
    図書

    Philosophy of logic : papers and discussions / by J.P. Cleave ... [et al.] ; edited by Stephan Körner

    Oxford : B. Blackwell , c1976

    書誌ID=2000041060 NCID=BA0059000X



  • 12.
    図書

    Quantum information science and its contributions to mathematics : American Mathematical Society Short Course, January 3-4, 2009, Washington, DC / Samuel J. Lomonaco, Jr., editor

    Providence, R.I. : American Mathematical Society , c2010. - (Proceedings of symposia in applied mathematics ; v. 68)

    書誌ID=2001502112 NCID=BB03726014



  • 13.
    図書

    Advances in modal logic / edited by Philippe Balbiani ... [et al.]

    v. 4 : pbk - v. 6 : pbk. - London : King's College Publications , c2003-

    書誌ID=2001427201 NCID=BA67972578



  • 14.
    図書

    Advances in modal logic / editors, Frank Wolter ... [et al.]

    v. 3. - Singapore : World Scientific , c2002

    書誌ID=2001427200 NCID=BA59111298



  • 15.
    図書

    Frontiers of paraconsistent logic / edited by Diderik Batens ... [et al.]

    Baldock, Hertfordshire : Research Studies Press , c2000. - (Studies in logic and computation ; 8)

    書誌ID=2000959613 NCID=BA47359128



  • 16.
    図書

    Advances in modal logic / edited by Marcus Kracht ... [et al.]

    v. 1 : hardback - v. 2 : pbk. - Stanford, Calif. : CSLI Publications , c1998-. - (CSLI lecture notes ; #87, 119)

    書誌ID=2000733866 NCID=BA36914690



  • 17.
    図書

    Logic program synthesis and transformation : 5th International Workshop, LOPSTR '95, Utrecht, the Netherlands, September 20-22, 1995 : proceedings /Maurizio Proietti (ed.)

    Berlin ; New York ; Tokyo : Springer , c1996. - (Lecture notes in computer science ; 1048)

    書誌ID=2000708884 NCID=BA27378582



  • 18.
    図書

    Negation : a notion in focus / edited by Heinrich Wansing

    Berlin ; New York : W. de Gruyter , 1996. - (Perspektiven der analytischen Philosophie = perspectives in analytical philosophy ; Bd. 7)

    書誌ID=2000646827 NCID=BA28314461



  • 19.
    図書

    Logic and algebra / edited by Aldo Ursini, Paolo Aglianò

    New York : Marcel Dekker , c1996. - (Lecture notes in pure and applied mathematics ; v. 180)

    書誌ID=2000634040 NCID=BA27801321



  • 20.
    図書

    Extensions of logic programming : 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings / Roy Dyckhoff (ed.)

    : gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1994. - (Lecture notes in computer science ; 798 . Lecture notes in artificial intelligence)

    書誌ID=2000708891 NCID=BA22697674



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

絞込項目

CLOSE

新着案内

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

タイトルリスト

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

図書館Webサービス

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

関連

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