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
  • ご予約受付中。出版後の入荷・発送
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
  • ご予約受付中。出版後の入荷・発送
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)
  • 洋書
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
  • 海外取次在庫
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週間)
Model Theory, Computer Science, and Graph Polynomials : Festschrift in Honor of Johann A. Makowsky (Trends in Mathematics)
  • 洋書
  • 電子版あり

Model Theory, Computer Science, and Graph Polynomials : Festschrift in Honor of Johann A. Makowsky (Trends in Mathematics)  Hardcover

Meer, Klaus (EDT)/ Rabinovich, Alexander (EDT)/ Ravve, Elena (EDT)

  • ウェブストア価格 ¥44,771(本体¥40,701)
  • Birkhauser Verlag AG(2025/08発売)
  • ポイント 407pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
集合における強制法:ブール値モデルを通した入門(テキスト)<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>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>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
  • 国内在庫(僅少)
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
  • 海外取次在庫
Endliche Modelltheorie
  • 洋書

Endliche Modelltheorie  Paperback,  言語:GER

Geschke, Stefan

  • ウェブストア価格 ¥5,593(本体¥5,085)
  • Springer Spektrum(2024/02発売)
  • ポイント 50pt
  • 海外取次在庫
Philosophy of Mathematics in Antiquity and in Modern Times (Science Networks. Historical Studies) (2023)
  • 洋書

Philosophy of Mathematics in Antiquity and in Modern Times (Science Networks. Historical Studies) (2023)  Paperback,  言語:ENG

Felgner, Ulrich

  • ウェブストア価格 ¥31,359(本体¥28,509)
  • Birkhauser Verlag AG(2024/06発売)
  • ポイント 285pt
  • 海外からお取り寄せ(通常6~9週間)
Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書

Coalgebraic Methods in Computer Science : 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

König, Barbara (EDT)/ Urbat, Henning (EDT)

  • ウェブストア価格 ¥15,668(本体¥14,244)
  • Springer International Publishing AG(2024/07発売)
  • ポイント 142pt
  • 海外取次在庫
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Studies in Universal Logic)
  • 洋書

Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019) (Studies in Universal Logic)  Paperback

Béziau, Jean-Yves (EDT)/ Desclés, Jean-Pierre (EDT)/ Moktefi, Amirouche (EDT)

  • ウェブストア価格 ¥44,771(本体¥40,701)
  • Springer Nature Switzerland AG(2024/01発売)
  • ポイント 407pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Algebra without Borders - Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications (Steam-h: Science, Technology, Engineering, Agriculture, Mathematics & Health)
  • 洋書
  • 電子版あり

Algebra without Borders - Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications (Steam-h: Science, Technology, Engineering, Agriculture, Mathematics & Health)  Hardcover

Hounkonnou, Mahouton Norbert (EDT)/ Mitrović, Melanija (EDT)/ Abbas, Mujahid (EDT)

  • ウェブストア価格 ¥38,055(本体¥34,596)
  • Springer International Publishing AG(2023/12発売)
  • ポイント 345pt
  • 海外取次在庫
Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)
  • 洋書
  • 電子版あり

Formal Methods Teaching : 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science) (2024)  Paperback

Sekerinski, Emil (EDT)/ Ribeiro, Leila (EDT)

  • ウェブストア価格 ¥10,071(本体¥9,156)
  • Springer International Publishing AG(2024/10発売)
  • ポイント 91pt
  • 海外取次在庫