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,686(本体¥38,806)
  • Springer, Berlin; Springer(2026発売)
  • ポイント 388pt
  • 海外からお取り寄せ(通常6~9週間)
思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト・第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)
  • 洋書
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/01発売)
  • ご注文いただけません
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

  • ウェブストア価格 ¥71,146(本体¥64,679)
  • Springer, Berlin(2026/02発売)
  • ポイント 646pt
  • ご予約受付中。出版後の入荷・発送
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,994(本体¥33,631)
  • Springer, Berlin(2026/03発売)
  • ポイント 336pt
  • ご予約受付中。出版後の入荷・発送
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,649(本体¥14,227)
  • Springer, Berlin(2026/03発売)
  • ポイント 142pt
  • ご予約受付中。出版後の入荷・発送
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,310(本体¥11,191)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2025/10発売)
  • ポイント 111pt
  • 海外取次在庫
組み合わせ論的集合論:強制法のためのやさしい入門(第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,532(本体¥41,393)
  • SPRINGER, BERLIN; SPRINGER-VERLAG LONDON; SPRINGER(2025発売)
  • ポイント 413pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥6,646(本体¥6,042)
  • Springer, Berlin(2025/08発売)
  • ポイント 60pt
  • 海外取次在庫
集合における強制法:ブール値モデルを通した入門(テキスト)<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,226(本体¥12,933)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 129pt
  • 海外取次在庫
数理論理学への招待(テキスト)<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

  • ウェブストア価格 ¥17,906(本体¥16,279)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 162pt
  • 国内在庫(僅少)
ゲーデル不完全性定理ガイドツアー<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,310(本体¥11,191)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2024/08発売)
  • ポイント 111pt
  • 海外取次在庫
数理論理学(テキスト)<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,668(本体¥14,244)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 142pt
  • オンデマンド(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,668(本体¥14,244)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 142pt
  • 海外取次在庫
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
  • 洋書

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)  Paperback,  言語:ENG

Rasga, João/ Sernadas, Cristina

  • ウェブストア価格 ¥15,678(本体¥14,253)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 142pt
  • 海外からお取り寄せ(通常6~9週間)
抽象数学への招待(学部生用テキスト・第2版)<br>An Invitation to Abstract Mathematics (Undergraduate Texts in Mathematics) (2ND)
  • 洋書

抽象数学への招待(学部生用テキスト・第2版)
An Invitation to Abstract Mathematics (Undergraduate Texts in Mathematics) (2ND)
 Paperback

Bajnok, Béla

  • ウェブストア価格 ¥12,310(本体¥11,191)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 111pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
思考するプログラム:言語・データ・計算・実行にかかわる論理的モデル化・推論(テキスト)<br>Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2021. xxxiii, 636 S. XXXIII, 636 p. 204 illus., 98 illus. in color. 23)
  • 洋書
Endliche Modelltheorie
  • 洋書

Endliche Modelltheorie  Paperback,  言語:GER

Geschke, Stefan

  • ウェブストア価格 ¥5,593(本体¥5,085)
  • Springer Spektrum(2024/02発売)
  • ポイント 50pt
  • 海外取次在庫
The Legacy of Kurt Schütte (2020)
  • 洋書

The Legacy of Kurt Schütte (2020)  Paperback,  言語:ENG

Kahle, Reinhard (EDT)/ Rathjen, Michael (EDT)

  • ウェブストア価格 ¥29,100(本体¥26,455)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 264pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
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

  • ウェブストア価格 ¥31,339(本体¥28,490)
  • Birkhauser Verlag AG(2023/06発売)
  • ポイント 284pt
  • 海外取次在庫