直観主義的解析学(テキスト)<br>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,397(本体¥13,998)
  • Springer, Berlin(2026/03発売)
  • ポイント 695pt
  • ご予約受付中。出版後の入荷・発送
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,397(本体¥33,089)
  • Springer, Berlin; Springer(2026/03発売)
  • ポイント 1,650pt
  • ご予約受付中。出版後の入荷・発送
Einführung in das mathematische Denken : Ein kompakter Vorkurs
  • 洋書
  • ポイントキャンペーン

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

Berdysheva, Elena

  • ウェブストア価格 ¥5,230(本体¥4,755)
  • Springer, Berlin; Springer Spektrum(2026/01発売)
  • ポイント 235pt
  • 海外からお取り寄せ(通常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)
  • 洋書
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.

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2025/10発売)
  • ポイント 540pt
  • 海外取次在庫
組み合わせ論的集合論:強制法のためのやさしい入門(第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.

  • ウェブストア価格 ¥44,798(本体¥40,726)
  • SPRINGER, BERLIN; SPRINGER-VERLAG LONDON; SPRINGER(2025発売)
  • ポイント 2,035pt
  • 海外からお取り寄せ(通常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,539(本体¥5,945)
  • Springer, Berlin; Springer(2025/08発売)
  • ポイント 295pt
  • 海外からお取り寄せ(通常6~9週間)
集合における強制法:ブール値モデルを通した入門(テキスト)<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

  • ウェブストア価格 ¥13,997(本体¥12,725)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 635pt
  • 海外からお取り寄せ(通常6~9週間)
数理論理学への招待(テキスト)<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,343(本体¥15,767)
  • SPRINGER, BERLIN; SPRINGER(2024発売)
  • ポイント 785pt
  • 国内在庫(僅少)
ゲーデル不完全性定理ガイドツアー<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.

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2024/08発売)
  • ポイント 540pt
  • 海外取次在庫
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,175(本体¥13,796)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 685pt
  • 海外取次在庫
数理論理学(テキスト・第3版)<br>Mathematical Logic (Graduate Texts in Mathematics) (3RD)
  • 洋書
  • ポイントキャンペーン

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

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

  • ウェブストア価格 ¥14,746(本体¥13,406)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 670pt
  • 海外取次在庫
数理論理学(テキスト)<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,175(本体¥13,796)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 685pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Endliche Modelltheorie
  • 洋書
  • ポイントキャンペーン

Endliche Modelltheorie  Paperback,  言語:GER

Geschke, Stefan

  • ウェブストア価格 ¥5,418(本体¥4,926)
  • Springer Spektrum(2024/02発売)
  • ポイント 245pt
  • 海外取次在庫
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,353(本体¥27,594)
  • Birkhauser Verlag AG(2023/06発売)
  • ポイント 1,375pt
  • 海外取次在庫
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

  • ウェブストア価格 ¥36,858(本体¥33,508)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 1,675pt
  • 海外取次在庫
数理論理学(テキスト)<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

  • ウェブストア価格 ¥11,922(本体¥10,839)
  • Springer Nature Switzerland AG(2023/03発売)
  • ポイント 540pt
  • 海外取次在庫
数理論理学(テキスト・第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

  • ウェブストア価格 ¥12,589(本体¥11,445)
  • Springer Nature Switzerland AG(2022/05発売)
  • ポイント 570pt
  • 海外からお取り寄せ(通常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,343(本体¥15,767)
  • Springer Nature Switzerland AG(2022/10発売)
  • ポイント 785pt
  • 海外取次在庫
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,589(本体¥11,445)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 570pt
  • 海外からお取り寄せ(通常6~9週間)