SUMS Readings : Intuitionistic Analysis : A Constructive Frame of Mind (Springer Undergraduate Mathematics Series)
  • 洋書
  • 予約

SUMS Readings : Intuitionistic Analysis : A Constructive Frame of Mind (Springer Undergraduate Mathematics Series)  Paperback,  言語:ENG

van Dalen, Dirk/ van Atten, Mark/ Smorynski, Craig

  • ウェブストア価格 ¥15,566(本体¥14,151)
  • Springer, Berlin(2026/03発売)
  • ポイント 141pt
  • ご予約受付中。出版後の入荷・発送
思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト・第2版)<br>Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2. Aufl. 2025. xix, 641 S. XIX, 641 p. 643 illus. in color. 235 mm)
  • 洋書
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,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2025/10発売)
  • ポイント 110pt
  • 海外からお取り寄せ(通常6~9週間)
組み合わせ論的集合論:強制法のためのやさしい入門(第3版)<br>Combinatorial Set Theory : With a Gentle Introduction to Forcing (Springer Monographs in Mathematics) (3. Aufl. 2025. xvii, 616 S. XVII, 616 p. 235 mm)
  • 洋書

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

Halbeisen, Lorenz J.

  • ウェブストア価格 ¥45,288(本体¥41,171)
  • SPRINGER, BERLIN; SPRINGER-VERLAG LONDON; SPRINGER(2025発売)
  • ポイント 411pt
  • 海外からお取り寄せ(通常6~9週間)
Effective Metric Structure Theory (Springer Monographs in Mathematics)
  • 洋書

Effective Metric Structure Theory (Springer Monographs in Mathematics)  Hardcover

N.Y. Franklin, Johanna/ Goldbring, Isaac/ McNicholl, Timothy H.

  • ウェブストア価格 ¥42,456(本体¥38,597)
  • Springer, Berlin(2026/01発売)
  • ポイント 385pt
  • 海外からお取り寄せ(通常6~9週間)
Model Theory : Selected Lectures from the 2021 Thematic Program (Fields Institute Communications)
  • 洋書
  • 予約

Model Theory : Selected Lectures from the 2021 Thematic Program (Fields Institute Communications)  Hardcover

Haskell, DeirdreEDT

  • ウェブストア価格 ¥36,796(本体¥33,451)
  • Springer, Berlin(2026/03発売)
  • ポイント 334pt
  • ご予約受付中。出版後の入荷・発送
Einführung in das mathematische Denken : Ein kompakter Vorkurs
  • 洋書
  • 予約

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

Berdysheva, Elena

  • Springer Spektrum(2026/03発売)
  • ご注文いただけません
New Articulations of the Theory of Oppositions : Seventh World Congress on the Square of Opposition (Studies in Universal Logic)
  • 洋書
  • 予約

New Articulations of the Theory of Oppositions : Seventh World Congress on the Square of Opposition (Studies in Universal Logic)  Hardcover

Beziau, Jean-YvesEDT/ Stern, Julio MichaelEDT

  • ウェブストア価格 ¥70,764(本体¥64,331)
  • Springer, Berlin(2026/02発売)
  • ポイント 643pt
  • ご予約受付中。出版後の入荷・発送
集合における強制法:ブール値モデルを通した入門(テキスト)<br>The Forcing Method in Set Theory : An Introduction via Boolean Valued Logic (UNITEXT 168) (2024. xiii, 242 S. XIII, 242 p. 2 illus. 235 mm)
  • 洋書

集合における強制法:ブール値モデルを通した入門(テキスト)
The Forcing Method in Set Theory : An Introduction via Boolean Valued Logic (UNITEXT 168) (2024. xiii, 242 S. XIII, 242 p. 2 illus. 235 mm)
 Paperback

Viale, Matteo

  • ウェブストア価格 ¥14,150(本体¥12,864)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 128pt
  • 海外取次在庫
数理論理学への招待(テキスト)<br>An Invitation to Mathematical Logic (Graduate Texts in Mathematics 301) (2024. xviii, 357 S. XVIII, 357 p. 1 illus. 235 mm)
  • 洋書
  • 電子版あり

数理論理学への招待(テキスト)
An Invitation to Mathematical Logic (Graduate Texts in Mathematics 301) (2024. xviii, 357 S. XVIII, 357 p. 1 illus. 235 mm)
 Hardcover

Marker, David

  • ウェブストア価格 ¥19,812(本体¥18,011)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 180pt
  • 海外取次在庫
ゲーデル不完全性定理ガイドツアー<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.

  • ウェブストア価格 ¥12,155(本体¥11,050)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2024/08発売)
  • ポイント 110pt
  • 海外取次在庫
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,471(本体¥14,065)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 140pt
  • 海外取次在庫
Endliche Modelltheorie
  • 洋書

Endliche Modelltheorie  Paperback,  言語:GER

Geschke, Stefan

  • ウェブストア価格 ¥5,523(本体¥5,021)
  • Springer Spektrum(2024/02発売)
  • ポイント 50pt
  • 海外取次在庫
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,  言語:ENG

Felgner, Ulrich

  • ウェブストア価格 ¥30,945(本体¥28,132)
  • Birkhauser Verlag AG(2023/06発売)
  • ポイント 281pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥37,577(本体¥34,161)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 341pt
  • 海外取次在庫
数理論理学(テキスト)<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,155(本体¥11,050)
  • Springer Nature Switzerland AG(2023/03発売)
  • ポイント 110pt
  • 海外取次在庫
Optimization Algorithms for Distributed Machine Learning (Synthesis Lectures on Learning, Networks, and Algorithms) (2023)
  • 洋書

Optimization Algorithms for Distributed Machine Learning (Synthesis Lectures on Learning, Networks, and Algorithms) (2023)  Hardcover

Joshi, Gauri

  • ウェブストア価格 ¥11,348(本体¥10,317)
  • Springer International Publishing AG(2022/11発売)
  • ポイント 103pt
  • 海外からお取り寄せ(通常6~9週間)
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

  • ウェブストア価格 ¥17,681(本体¥16,074)
  • Springer Nature Switzerland AG(2022/10発売)
  • ポイント 160pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥12,767(本体¥11,607)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 116pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥15,471(本体¥14,065)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 140pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。