Intuitionistic Analysis : A Constructive Frame of Mind (Sums Readings)
  • 洋書

Intuitionistic Analysis : A Constructive Frame of Mind (Sums Readings)  Paperback,  言語:ENG

van Dalen, Dirk/ van Atten, Mark/ Smoryński, Craig

  • Springer Nature Switzerland AG(2026/05発売)
  • ご注文いただけません
Formal Methods Teaching : 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings (Lecture Notes in Computer Science)
  • 洋書
  • 予約

Formal Methods Teaching : 7th Formal Methods Teaching Workshop, FMTea 2026, Tokyo, Japan, May 19, 2026, Proceedings (Lecture Notes in Computer Science)  Paperback

Carvalho, Gustavo (EDT)/ Kobayashi, Tsutomu (EDT)

  • ウェブストア価格 ¥14,993(本体¥13,630)
  • Springer, Berlin; Springer Nature Switzerland; Springer(2026/07発売)
  • ポイント 136pt
  • ご予約受付中。出版後の入荷・発送
Beweisen lernen Schritt für Schritt : für einen gelungenen Einstieg ins Mathestudium (2. Aufl.)
  • 洋書
  • 予約

Beweisen lernen Schritt für Schritt : für einen gelungenen Einstieg ins Mathestudium (2. Aufl.)

Junk, Michael/ Treude, Jan-Hendrik

  • ウェブストア価格 ¥10,769(本体¥9,790)
  • Springer, Berlin; Springer Spektrum(2026/07発売)
  • ポイント 97pt
  • ご予約受付中。出版後の入荷・発送
思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト・第2版)<br>Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2. Aufl.)
  • 洋書
Einführung in das mathematische Denken : Ein kompakter Vorkurs
  • 洋書

Einführung in das mathematische Denken : Ein kompakter Vorkurs  Paperback,  言語:GER

Berdysheva, Elena

  • ウェブストア価格 ¥5,602(本体¥5,093)
  • Springer, Berlin; Springer Spektrum(2026/01発売)
  • ポイント 50pt
  • 海外からお取り寄せ(通常6~9週間)
Limits of Mathematics : A Journey through the Key Areas of Mathematical Logic (Mathematics Study Resources)
  • 洋書

Limits of Mathematics : A Journey through the Key Areas of Mathematical Logic (Mathematics Study Resources)  Paperback,  言語:ENG

Hoffmann, Dirk W.

  • ウェブストア価格 ¥12,423(本体¥11,294)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2025/10発売)
  • ポイント 112pt
  • 海外取次在庫
組み合わせ論的集合論:強制法のためのやさしい入門(第3版)<br>Combinatorial Set Theory : With a Gentle Introduction to Forcing (Springer Monographs in Mathematics) (3. Aufl.)
  • 洋書

組み合わせ論的集合論:強制法のためのやさしい入門(第3版)
Combinatorial Set Theory : With a Gentle Introduction to Forcing (Springer Monographs in Mathematics) (3. Aufl.)
 Hardcover

Halbeisen, Lorenz J.

  • ウェブストア価格 ¥47,984(本体¥43,622)
  • Springer, Berlin; Springer-Verlag London; Springer(2025発売)
  • ポイント 436pt
  • 海外からお取り寄せ(通常6~9週間)
Risse im Fundament : Cantor, Gödel und die Suche nach der mathematischen Wahrheit
  • 洋書

Risse im Fundament : Cantor, Gödel und die Suche nach der mathematischen Wahrheit  Paperback,  言語:GER

Resag, Joerg

  • ウェブストア価格 ¥7,003(本体¥6,367)
  • Springer, Berlin; Springer(2025/08発売)
  • ポイント 63pt
  • 海外取次在庫
数理論理学への招待(テキスト)<br>An Invitation to Mathematical Logic (Graduate Texts in Mathematics)
  • 洋書
  • 電子版あり

数理論理学への招待(テキスト)
An Invitation to Mathematical Logic (Graduate Texts in Mathematics)
 Hardcover

Marker, David

  • ウェブストア価格 ¥18,071(本体¥16,429)
  • Springer, Berlin; Springer(2024発売)
  • ポイント 164pt
  • 国内在庫(僅少)
ゲーデル不完全性定理ガイドツアー<br>Gödel's Incompleteness Theorems : A Guided Tour through Kurt Gödel's Historic Proof (2024)
  • 洋書

ゲーデル不完全性定理ガイドツアー
Gödel's Incompleteness Theorems : A Guided Tour through Kurt Gödel's Historic Proof (2024)
 Paperback,  言語:ENG

Hoffmann, Dirk W.

  • ウェブストア価格 ¥13,553(本体¥12,321)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2024/08発売)
  • ポイント 123pt
  • 海外取次在庫
集合における強制法:ブール値モデルを通した入門(テキスト)<br>La Matematica per il 3+2 : The Forcing Method in Set Theory : An Introduction via Boolean Valued Logic (UNITEXT)
  • 洋書
  • 電子版あり

集合における強制法:ブール値モデルを通した入門(テキスト)
La Matematica per il 3+2 : The Forcing Method in Set Theory : An Introduction via Boolean Valued Logic (UNITEXT)
 Paperback

Viale, Matteo

  • ウェブストア価格 ¥16,492(本体¥14,993)
  • Springer, Berlin; Springer(2024発売)
  • ポイント 149pt
  • 海外からお取り寄せ(通常6~9週間)
数理論理学(テキスト・第3版)<br>Mathematical Logic (Graduate Texts in Mathematics) (3RD)
  • 洋書

数理論理学(テキスト・第3版)
Mathematical Logic (Graduate Texts in Mathematics) (3RD)
 Hardcover

Ebbinghaus, Heinz-Dieter/ Flum, Jörg/ Thomas, Wolfgang

  • ウェブストア価格 ¥17,612(本体¥16,011)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 160pt
  • 海外からお取り寄せ(通常6~9週間)
数理論理学(テキスト)<br>Mathematical Logic : Exercises and Solutions (Problem Books in Mathematics)
  • 洋書

数理論理学(テキスト)
Mathematical Logic : Exercises and Solutions (Problem Books in Mathematics)
 Hardcover,  言語:ENG

Csirmaz, Laszlo/ Gyenis, Zalán

  • ウェブストア価格 ¥18,071(本体¥16,429)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 164pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
From Computational Logic to Computational Biology : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career (Lecture Notes in Computer Science)
  • 洋書
  • 電子版あり

From Computational Logic to Computational Biology : Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career (Lecture Notes in Computer Science)  Paperback

Cantone, Domenico (EDT)/ Pulvirenti, Alfredo (EDT)

  • ウェブストア価格 ¥15,812(本体¥14,375)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 143pt
  • 海外取次在庫
数理論理学(テキスト)<br>Mathematical Logic : Exercises and Solutions (Problem Books in Mathematics)
  • 洋書

数理論理学(テキスト)
Mathematical Logic : Exercises and Solutions (Problem Books in Mathematics)
 Paperback,  言語:ENG

Csirmaz, Laszlo/ Gyenis, Zalán

  • ウェブストア価格 ¥12,423(本体¥11,294)
  • Springer Nature Switzerland AG(2023/03発売)
  • ポイント 112pt
  • 海外取次在庫
Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics (Mathematics in Mind)
  • 洋書
  • 電子版あり

Diagrams, Visual Imagination, and Continuity in Peirce's Philosophy of Mathematics (Mathematics in Mind)  Hardcover

Kiryushchenko, Vitaly

  • ウェブストア価格 ¥38,406(本体¥34,915)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 349pt
  • 海外取次在庫
古今の数学の哲学<br>Philosophy of Mathematics in Antiquity and in Modern Times (Science Networks. Historical Studies)
  • 洋書

古今の数学の哲学
Philosophy of Mathematics in Antiquity and in Modern Times (Science Networks. Historical Studies)
 Hardcover

Felgner, Ulrich

  • ウェブストア価格 ¥31,628(本体¥28,753)
  • Birkhauser Verlag AG(2023/06発売)
  • ポイント 287pt
  • 海外取次在庫
Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021)
  • 洋書

Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021)  Paperback,  言語:ENG

Schreiner, Wolfgang

  • ウェブストア価格 ¥18,071(本体¥16,429)
  • Springer Nature Switzerland AG(2022/10発売)
  • ポイント 164pt
  • 海外取次在庫
数理論理学(テキスト・第3版)<br>Mathematical Logic (Graduate Texts in Mathematics) (3RD)
  • 洋書

数理論理学(テキスト・第3版)
Mathematical Logic (Graduate Texts in Mathematics) (3RD)
 Paperback

Ebbinghaus, Heinz-Dieter/ Flum, Jörg/ Thomas, Wolfgang

  • ウェブストア価格 ¥6,749(本体¥6,136)
  • Springer Nature Switzerland AG(2022/05発売)
  • ポイント 61pt
  • 海外からお取り寄せ(通常6~9週間)
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences)
  • 洋書

Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology (Surveys and Tutorials in the Applied Mathematical Sciences)  Paperback

Löh, Clara

  • ウェブストア価格 ¥10,860(本体¥9,873)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 98pt
  • 海外からお取り寄せ(通常6~9週間)