国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
ヘルプ
ログイン
ヘルプ
ログイン
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(2)
1980年代
(11)
1990年代
(3)
2000年代
(2)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(18)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(18)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 18 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)
Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)
紙
図書
Cambridge University Press
1995.
<MA41-A97>
国立国会図書館
全国の図書館
LCC
QA9.56
Essays in constructive mathematics
Essays in constructive mathematics
紙
図書
Harold M. Edwards
Springer
c2005
全国の図書館
LCC
QA9.56
Inexhaustibility : a non-exhaustive treatment pbk
Inexhaustibility : a non-exhaustive treatment pbk
紙
図書
by Torkel Franzén
AK Peters
c2004
全国の図書館
LCC
QA9.56
Varieties of constructive mathematics / Douglas Bridges, Fred Richman. (London Mathematical Society lecture note series ; 97)
Varieties of constructive mathematics / Douglas Bridges, Fred Richman. (London Mathematical Society lecture note series ; 97)
紙
図書
Cambridge University Press
1987.
<MA41-A33>
国立国会図書館
LCC
QA9.56
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)
Constructivism in mathematics : an introduction / A.S. Troelstra, D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 121, 123)
紙
図書
North-Holland
1988.
<MA41-A41>
国立国会図書館
LCC
QA9.56
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6)
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson. (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3. Folge, Bd. 6)
紙
図書
Springer-Verlag
c1985.
<MA41-A6>
国立国会図書館
LCC
QA9.56
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 110)
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen. (Studies in logic and the foundations of mathematics ; v. 110)
紙
図書
North-Holland Pub. Co.
1982.
<M15-A581>
国立国会図書館
LCC
QA9.56
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman. (Lecture notes in mathematics ; 873)
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / edited by F. Richman. (Lecture notes in mathematics ; 873)
紙
図書
Springer-Verlag
1981.
<MA41-199>
国立国会図書館
LCC
QA3
QA9.56
Fine structure and iteration trees : gw : us
Fine structure and iteration trees : gw : us
紙
図書
William J. Mitchell, John R. Steel
Springer-Verlag
c1994
全国の図書館
LCC
QA9.56
Bounded arithmetic, propositional logic, and complexity theory
Bounded arithmetic, propositional logic, and complexity theory
紙
図書
Jan Krajíček
Cambridge University Press
1995
全国の図書館
LCC
QA9.56
Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2
Constructivism in mathematics : an introduction v. 1 v. 1:pbk. v. 2
紙
図書
A.S. Troelstra, D. van Dalen
North-Holland
1988
全国の図書館
LCC
QA9.56
Varieties of constructive mathematics
Varieties of constructive mathematics
紙
図書
Douglas Bridges, Fred Richman
Cambridge University Press
1987
全国の図書館
LCC
QA9.56
Predicative arithmetic
Predicative arithmetic
紙
図書
by Edward Nelson
Princeton University Press
1986
全国の図書館
LCC
QA9.56
Foundations of constructive mathematics : metamathematical studies U.S. Germany : pbk
Foundations of constructive mathematics : metamathematical studies U.S. Germany : pbk
紙
図書
Michael J. Beeson
Springer-Verlag
c1985
全国の図書館
LCC
QA9.56
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981
紙
図書
edited by A.S. Troelstra and D. van Dalen
North-Holland
1982
全国の図書館
LCC
QA9.56
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 : Berlin : New York
Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 : Berlin : New York
紙
図書
edited by F. Richman
Springer-Verlag
1981
全国の図書館
LCC
QA3
QA9.56
Конструктивные процессы в математике : философский аспект
Конструктивные процессы в математике : философский аспект
紙
図書
В.Н. Тростников
Наука
1975
全国の図書館
LCC
QA9.56
Introduction à l'analyse constructive selon A.A. Markov : séminaire donné à Orsay en février 1972
Introduction à l'analyse constructive selon A.A. Markov : séminaire donné à Orsay en février 1972
紙
図書
M. Margenstern
Université Paris XI, U.E.R. Mathématique
[1972]
全国の図書館
LCC
QA9.56
検索結果は以上です。
書誌情報を一括出力