国立国会図書館サーチ(NDL SEARCH)
メニューを開く
検索
絞り込み条件
絞り込み条件
図書館
項目を閉じる
国立国会図書館
全国の図書館
インターネットで閲覧できるものに絞る
タイトル
項目を閉じる
著者・編者
項目を閉じる
出版者
項目を閉じる
出版年(西暦)
項目を閉じる
年
〜
年
開く
1970年代
(17)
1980年代
(13)
1990年代
(21)
2000年代
(24)
2010年代
(27)
2020年代
(15)
ISBN / ISSN
項目を閉じる
請求記号
項目を閉じる
資料種別
ヘルプページへのリンク
項目を閉じる
図書
(117)
雑誌
新聞
和古書・漢籍
博士論文
地図
楽譜
webサイト
電子書籍・電子雑誌
電子資料
映像資料
録音資料
規格・テクニカルリポート類
文書・図像類
すべて解除
雑誌記事等
資料形態
ヘルプページへのリンク
項目を閉じる
デジタル
紙
(117)
マイクロ
記録メディア
すべて解除
その他の分類
ヘルプページへのリンク
項目を閉じる
絞り込み条件
絞り込み条件
検索結果 117 件
20件ずつ表示
50件ずつ表示
100件ずつ表示
リスト表示
サムネイル表示
テーブル表示
適合度順
出版年:古い順
出版年:新しい順
タイトル:昇順
タイトル:降順
著者:昇順
著者:降順
請求記号順
タイトルでまとめる
一括お気に入り
Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)
Ordinal analysis with an introduction to proof theory (Logic in Asia: Studia logica library)
紙
図書
Toshiyasu Arai
Springer
[2020]
<MA21-D26>
国立国会図書館
LCC
QA9.54
Proof theory and algebra in logic (Short textbooks in logic)
Proof theory and algebra in logic (Short textbooks in logic)
紙
図書
Hiroakira Ono
Springer
[2019]
<MA41-D5>
国立国会図書館
全国の図書館
LCC
QA9.54
Proof theory Second edition. (Dover books on mathematics)
Proof theory Second edition. (Dover books on mathematics)
紙
図書
Gaisi Takeuti.
Dover Publications
2013.
<MA41-B46>
国立国会図書館
LCC
QA9.54
The nuts and bolts of proofs : an introduction to mathematical proofs : [pbk.] 5th ed
The nuts and bolts of proofs : an introduction to mathematical proofs : [pbk.] 5th ed
紙
図書
Antonella Cupillari
Academic Press, an imprint of Elsevier
c2024
全国の図書館
LCC
QA9.54
Hybrid logic and its proof-theory (Applied logic series ; v. 37)
Hybrid logic and its proof-theory (Applied logic series ; v. 37)
紙
図書
by Torben Braüner.
Springer
c2011.
<MA41-B34>
国立国会図書館
全国の図書館
LCC
QA9.54
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more
Proven impossible : elementary proofs of profound impossibility from Arrow, Bell, Chaitin, Gödel, Turing and more
紙
図書
Dan Gusfield
Cambridge University Press
2024
全国の図書館
LCC
QA9.54
Introduction to proofs and proof strategies : pbk.
Introduction to proofs and proof strategies : pbk.
紙
図書
Shay Fuchs
Cambridge University Press
2023
全国の図書館
LCC
QA9.54
Introduction to proof through number theory : pbk
Introduction to proof through number theory : pbk
紙
図書
Bennett Chow
American Mathematical Society
c2023
全国の図書館
LCC
QA9.54
The meaning of proofs : mathematics as storytelling : [pbk]
The meaning of proofs : mathematics as storytelling : [pbk]
紙
図書
Gabriele Lolli ; translated by Bonnie McClellan-Broussard ; foreword by Matilde Marcolli
The MIT Press
c2022
全国の図書館
LCC
QA9.54
The story of proof : logic and the history of mathematics : hbk
The story of proof : logic and the history of mathematics : hbk
紙
図書
John Stillwell
Princeton University Press
c2022
全国の図書館
LCC
QA9.54
The science of learning mathematical proofs : an introductory course : pbk
The science of learning mathematical proofs : an introductory course : pbk
紙
図書
Elana Reiser
World Scientific
c2021
全国の図書館
LCC
QA9.54
Proof and the art of mathematics : examples and extensions/ Joel David Hamkins
Proof and the art of mathematics : examples and extensions/ Joel David Hamkins
紙
図書
MIT Press
c2021
全国の図書館
LCC
QA9.54
An introduction to proof theory : normalization, cut-elimination, and consistency proofs : pbk
An introduction to proof theory : normalization, cut-elimination, and consistency proofs : pbk
紙
図書
Paolo Mancosu, Sergio Galvan, Richard Zach
Oxford University Press
2021
全国の図書館
LCC
QA9.54
Theoremus : a student's guide to mathematical proofs : pbk
Theoremus : a student's guide to mathematical proofs : pbk
紙
図書
Lito Perez Cruz
Springer
c2021
全国の図書館
LCC
QA9.54
An introduction to proof theory : normalization, cut-elimination, and consistency proofs
An introduction to proof theory : normalization, cut-elimination, and consistency proofs
紙
図書
Paolo Mancosu, Sergio Galvan, Richard Zach
Oxford University Press
2021
全国の図書館
LCC
QA9.54
An introduction to mathematical proofs
An introduction to mathematical proofs
紙
図書
Nicholas A Loehr
CRC Press
2020
全国の図書館
LCC
QA9.54
Ordinal analysis with an introduction to proof theory : [pbk.]
Ordinal analysis with an introduction to proof theory : [pbk.]
紙
図書
Toshiyasu Arai
Springer
c2020
全国の図書館
LCC
QA9.54
Proof and the art of mathematics
Proof and the art of mathematics
紙
図書
Joel David Hamkins
MIT Press
c2020
全国の図書館
LCC
QA9.54
A model-theoretic approach to proof theory
A model-theoretic approach to proof theory
紙
図書
Henryk Kotlarski, author ; edited by Zofia Adamowicz, Teresa Bigorajska and Konrad Zdanowski
Springer
c2019
全国の図書館
LCC
QA9.54
Incompleteness for higher-order arithmetic : an example based on Harrington's principle
Incompleteness for higher-order arithmetic : an example based on Harrington's principle
紙
図書
Yong Cheng
Springer
c2019
全国の図書館
LCC
QA9.54
もっと見る(21件目~)
書誌情報を一括出力