Jump to main content

yr 〜
yr

Search results 244

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)
Paper図書
Toshiyasu AraiSpringer[2020]<MA21-D26>
National Diet Library
  • Summary, etc....alysis, and to proof theory. It mainly foc......earch topic in proof theory that is concer......c materials in proof theory of first-order or omega logic...
  • Subject HeadingProof theory Logic, Symbolic and mathematical Logic, Symbolic and mathematical. Proof theory.

Proof theory and algebra in logic (Short textbooks in logic)

Proof theory and algebra in logic (Short textbooks in logic)
Paper図書
Hiroakira OnoSpringer[2019]<MA41-D5>
National Diet LibraryOther Libraries in Japan
  • ContentsPart I: Proof Theory. Sequent systems Cut eliminat...
  • Subject HeadingProof theory Algebraic logic

Proof theory Second edition. (Dover books on mathematics)

Proof theory Second edition. (Dover books on mathematics)
Paper図書
Gaisi Takeuti.Dover Publications2013.<MA41-B46>
National Diet Library
  • Summary, etc....n Gentzen-type proof theory, the book pres......pplications of proof theory to logic as well as other are...
  • Subject HeadingProof theory. MATHEMATICS / Logic.

証明の読み方・考え方 : 数学的思考過程への手引き

証明の読み方・考え方 : 数学的思考過程への手引き
Paper図書
Daniel Solow 著, 西村康一, 服部久美子 訳共立出版2023.11<MA21-M374>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory

証明作法 : 論理の初歩から証明の実践へ

証明作法 : 論理の初歩から証明の実践へ
Paper図書
石原哉 著共立出版2023.3<MA21-M322>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory

Ludics, dialogue and interaction : PRELUDE project -- 2006-2009 : revised selected papers. : ------. (Lecture Notes in Computer Science ; 6505. Lecture Notes in Artificial Intelligence)

Ludics, dialogue and interaction : PRELUDE project -- 2006-2009 : revised selected papers. : ------. (Lecture Notes in Computer Science ; 6505. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2011.<M17-11-2123>
National Diet Library
  • Subject HeadingProof theory. Computational linguistics. E...

Hybrid logic and its proof-theory (Applied logic series ; v. 37)

Hybrid logic and its proof-theory (Applied logic series ; v. 37)
Paper図書
by Torben Braüner.Springerc2011.<MA41-B34>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingProof theory. Logic, Symbolic and mathemat...

天書の証明

天書の証明
Paper図書
M.アイグナー, G.M.ツィーグラー 著, 蟹江幸博 訳丸善出版2022.1<MA21-M249>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory

1つの定理を証明する99の方法

1つの定理を証明する99の方法
Paper図書
フィリップ・オーディング [著], 冨永星 訳森北出版2021.1<MA21-M188>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory

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
Paper図書
Dan GusfieldCambridge University Press2024
Other Libraries in Japan
  • Subject HeadingProof theory Probabilities
  • Subject Heading (ID)Proof theory Probabilities

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
Paper図書
Antonella CupillariAcademic Press, an imprint of Elsevierc2024
Other Libraries in Japan
  • Subject HeadingProof theory
  • Subject Heading (ID)Proof theory

数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで (ブルーバックス ; B-2107)

数学にとって証明とはなにか : ピタゴラスの定理からイプシロン・デルタ論法まで (ブルーバックス ; B-2107)
PaperRecording MediaDigital図書障害者向け資料あり
瀬山士郎 著講談社2019.8<MA21-M69>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory

Introduction to proof through number theory : pbk

Introduction to proof through number theory : pbk
Paper図書
Bennett ChowAmerican Mathematical Societyc2023
Other Libraries in Japan
  • Subject HeadingProof theory Number theory
  • Subject Heading (ID)Proof theory Number theory

数学教育における論証の理解とその学習指導

数学教育における論証の理解とその学習指導
Paper図書
國宗進 著東洋館出版社2017.8<FC88-L327>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory

Proofs 101 : an introduction to formal mathematics : hbk

Proofs 101 : an introduction to formal mathematics : hbk
Paper図書
Joseph KirtlandCRC Press2021
Other Libraries in Japan
  • Subject HeadingProof theory
  • Subject Heading (ID)Proof theory

Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.

Memoirs of a proof theorist : Gödel and other logicians / [Gaisi Takeuti ; translated by] Mariko Yasugi, Nicholas Passell.
Paper図書
World Scientificc2003.<MA25-B6>
National Diet Library
  • Subject HeadingGödel, Kurt. Proof theory.

The science of learning mathematical proofs : an introductory course : pbk

The science of learning mathematical proofs : an introductory course : pbk
Paper図書
Elana ReiserWorld Scientificc2021
Other Libraries in Japan
  • Subject HeadingProof theory
  • Subject Heading (ID)Proof theory

数学における証明と真理 : 様相論理と数学基礎論

数学における証明と真理 : 様相論理と数学基礎論
Paper図書
菊池誠 編, 佐野勝彦, 倉橋太志, 薄葉季路, 黒川英徳, 菊池誠 著共立出版2016.3<MA21-L319>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory Modality (Logic)

証明の探究 増補版 (共通教育シリーズ)

証明の探究 増補版 (共通教育シリーズ)
Paper図書
日比孝之 著大阪大学出版会2016.11<MA21-L402>
National Diet LibraryOther Libraries in Japan
  • Authority（Subject Heading/altLabel）論証 (数学) Proof theory

An introduction to proof theory : normalization, cut-elimination, and consistency proofs : pbk

An introduction to proof theory : normalization, cut-elimination, and consistency proofs : pbk
Paper図書
Paolo Mancosu, Sergio Galvan, Richard ZachOxford University Press2021
Other Libraries in Japan
  • Subject HeadingProof theory Logic, Symbolic and mathemati...
  • Subject Heading (ID)Proof theory Logic, Symbolic and mathemati...
RSS