国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(1)
1980年代
(12)
1990年代
(5)
2000年代
(7)
2010年代
(3)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(28)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(28)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 28 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Alan Turing's systems of logic : the Princeton thesis
Alan Turing's systems of logic : the Princeton thesis
紙
図書
edited and introduced by Andrew W. Appel.
Princeton University Press
[2012]
<X>
国立国会図書館
全国の図書館
LCC
QA9.2
The continued exercise of reason : public addresses by George Boole
The continued exercise of reason : public addresses by George Boole
紙
図書
edited and with an introduction by Brendan Dooley
The MIT Press
c2018
全国の図書館
LCC
QA9.2
Logik als Grundlage von Wissenschaft
Logik als Grundlage von Wissenschaft
紙
図書
herausgegeben von Wolfgang Lenski, Wolfgang Neuser
Winter
c2010
全国の図書館
LCC
QA9.2
Mathematical logic : hbk : pbk
Mathematical logic : hbk : pbk
紙
図書
Ian Chiswell and Wilfrid Hodges
Oxford University Press
2007
全国の図書館
LCC
QA9.2
Logica universalis : towards a general theory of logic 2nd ed
Logica universalis : towards a general theory of logic 2nd ed
紙
図書
Jean-Yves Beziau, editor
Birkhäuer
c2007
全国の図書館
LCC
QA9.2
Mathematics and common sense : a case of creative tension
Mathematics and common sense : a case of creative tension
紙
図書
Philip J. Davis
A.K. Peters
c2006
全国の図書館
LCC
QA9.2
The Notre Dame lectures : pbk
The Notre Dame lectures : pbk
紙
図書
edited by Peter Cholak
A.K. Peters
c2005
全国の図書館
LCC
QA9.2
Logicism renewed : logical foundations for mathematics and computer science : alk. paper : pbk. : alk. paper
Logicism renewed : logical foundations for mathematics and computer science : alk. paper : pbk. : alk. paper
紙
図書
Paul C. Gilmore
Association for Symbolic Logic
c2005
全国の図書館
LCC
QA9.2
Logica universalis : towards a general theory of logic : pbk
Logica universalis : towards a general theory of logic : pbk
紙
図書
Jean-Yves Beziau, editor
Birkhäuser
c2005
全国の図書館
LCC
QA9.2
Mathematical logic
Mathematical logic
紙
図書
edited by R.O. Gandy and C.E.M. Yates ; including prafaces by Solomon Feferman ... [et al.]
Elsevier
2001
全国の図書館
LCC
QA9.2
Hilbert's program : an essay on mathematical instrumentalism / Michael Detlefsen. (Synthese library ; v. 182)
Hilbert's program : an essay on mathematical instrumentalism / Michael Detlefsen. (Synthese library ; v. 182)
紙
図書
D. Reidel
c1986.
<H151-A4>
国立国会図書館
LCC
QA9.2
Selected logic papers
Selected logic papers
紙
図書
Gerald E. Sacks
World Scientific
c1999
全国の図書館
LCC
QA9.2
George Boole : selected manuscripts on logic and its philosophy : Basel : Boston
George Boole : selected manuscripts on logic and its philosophy : Basel : Boston
紙
図書
editors, Ivor Grattan-Guinness, Gérard Bornet
Birkhäuser Verlag
c1997
全国の図書館
LCC
QA9.2
In the light of logic
In the light of logic
紙
図書
Solomon Feferman
Oxford University Press
c1998
全国の図書館
LCC
QA9.2
Language, truth and logic in mathematics
Language, truth and logic in mathematics
紙
図書
Jaakko Hintikka
Kluwer Academic
c1998
全国の図書館
LCC
QA9.2
What is a logical system?
What is a logical system?
紙
図書
edited by D.M. Gabbay
Clarendon Press
1994
全国の図書館
LCC
QA9.2
Mathematical logic and theoretical computer science
Mathematical logic and theoretical computer science
紙
図書
edited by David W. Kueker, Edgar G.K. Lopez-Escobar, Carl H. Smith
M. Dekker
c1987
全国の図書館
LCC
QA9.2
S. Leśniewski's lecture notes in logic
S. Leśniewski's lecture notes in logic
紙
図書
edited by Jan T.J. Srzednicki and Zbigniew Stachniak
Kluwer Academic Publishers
c1988
全国の図書館
LCC
QA9.2
Six papers in logic
Six papers in logic
紙
図書
by S.N. Artemov ... [et al.] ; [translation edited by Ben Silver]
American Mathematical Society
c1987
全国の図書館
LCC
QA3
QA9.2
Hilbert's program : an essay on mathematical instrumentalism : pbk.
Hilbert's program : an essay on mathematical instrumentalism : pbk.
紙
図書
Michael Detlefsen
Springer Science+Business Media
c1986
全国の図書館
LCC
QA9.2
もっと見る(21件目~)
書誌情報を一括出力