Thinking Programs : Logical Modeling and Reasoning about Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation) (2ND)
  • 洋書
  • 予約

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

Schreiner, Wolfgang

  • Springer International Publishing AG(2025/09発売)
  • ご注文いただけません
Angewandte Mathematik : Lehrbuch für Höhere Technische Lehranstalten - Band 1 (2025. 416 S. 240 mm)
  • 洋書

Angewandte Mathematik : Lehrbuch für Höhere Technische Lehranstalten - Band 1 (2025. 416 S. 240 mm)  Hardcover

Maderner, Nina

  • ウェブストア価格 ¥7,418(本体¥6,744)
  • HANSER FACHBUCHVERLAG(2025/08発売)
  • ポイント 67pt
  • 海外からお取り寄せ(通常6~9週間)
Einführung in das mathematische Denken : Ein kompakter Vorkurs (2025. xvii, 116 S. XVII, 116 S. 11 Abb. 235 mm)
  • 洋書
  • 予約

Einführung in das mathematische Denken : Ein kompakter Vorkurs (2025. xvii, 116 S. XVII, 116 S. 11 Abb. 235 mm)  Paperback,  言語:GER

Berdysheva, Elena

  • ウェブストア価格 ¥4,944(本体¥4,495)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2025/10発売)
  • ポイント 44pt
  • ご予約受付中。出版後の入荷・発送
Numerical Tensor Methods : Tensor Trains in Mathematics and Computer Science (De Gruyter Textbook)
  • 洋書

Numerical Tensor Methods : Tensor Trains in Mathematics and Computer Science (De Gruyter Textbook)

Oseledets, Ivan

  • DE GRUYTER(2025/07発売)
  • ご注文いただけません
組み合わせ論的集合論:強制法のためのやさしい入門(第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.

  • ウェブストア価格 ¥42,350(本体¥38,500)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2025発売)
  • ポイント 385pt
  • 海外取次在庫
Limits of Mathematics : A Journey Through the Key Areas of Mathematical Logic (Mathematics Study Resources 19) (2025. ix, 422 S. IX, 422 p. 262 illus. in color. 226 mm)
  • 洋書

Limits of Mathematics : A Journey Through the Key Areas of Mathematical Logic (Mathematics Study Resources 19) (2025. ix, 422 S. IX, 422 p. 262 illus. in color. 226 mm)  Paperback,  言語:ENG

Hoffmann, Dirk W.

  • ウェブストア価格 ¥13,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER BERLIN HEIDELBERG; SPRINGE(2025発売)
  • ポイント 120pt
  • 海外からお取り寄せ(通常6~9週間)
ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト・第2版)<br>Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics (2. Aufl. 2025. xi, 342 S. XI, 342 p. 235 mm)
  • 洋書

ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト・第2版)
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics (2. Aufl. 2025. xi, 342 S. XI, 342 p. 235 mm)
 Hardcover

Halbeisen, Lorenz/Krapf, Regula

  • ウェブストア価格 ¥17,202(本体¥15,639)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; BIRKHÄ(2025発売)
  • ポイント 156pt
  • 海外取次在庫
集合における強制法:ブール値モデルを通した入門(テキスト)<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,231(本体¥12,029)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 120pt
  • 海外取次在庫
ゲーデル不完全性定理ガイドツアー<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,458(本体¥10,417)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2024/08発売)
  • ポイント 104pt
  • 海外取次在庫
Institution-independent Model Theory (Studies in Universal Logic) (2ND)
  • 洋書

Institution-independent Model Theory (Studies in Universal Logic) (2ND)  Hardcover,  言語:ENG

Diaconescu, Răzvan

  • ウェブストア価格 ¥44,656(本体¥40,597)
  • Birkhauser Verlag AG(2025/03発売)
  • ポイント 405pt
  • 海外からお取り寄せ(通常6~9週間)
ゲーデル不完全性定理とその展開入門<br>Introduction to Incompleteness : From Gödel's Theorems to Forcing and the Continuum Hypothesis (2024)
  • 洋書

ゲーデル不完全性定理とその展開入門
Introduction to Incompleteness : From Gödel's Theorems to Forcing and the Continuum Hypothesis (2024)
 Hardcover

Batzoglou, Serafim

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Birkhauser Verlag AG(2024/08発売)
  • ポイント 322pt
  • 海外取次在庫
数理論理学への招待(テキスト)<br>An Invitation to Mathematical Logic (Graduate Texts in Mathematics 301) (2024. xviii, 357 S. XVIII, 357 p. 7 illus. 235 mm)
  • 洋書

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

Marker, David

  • ウェブストア価格 ¥18,526(本体¥16,842)
  • SPRINGER, BERLIN; SPRINGER NATURE SWITZERLAND; SPRING(2024発売)
  • ポイント 168pt
  • 海外からお取り寄せ(通常6~9週間)
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)

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer International Publishing AG(2024/03発売)
  • ポイント 132pt
  • 海外取次在庫
Endliche Modelltheorie
  • 洋書

Endliche Modelltheorie  Paperback,  言語:GER

Geschke, Stefan

  • ウェブストア価格 ¥5,207(本体¥4,734)
  • Springer Spektrum(2024/02発売)
  • ポイント 47pt
  • 海外取次在庫
Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021) (Studies in Universal Logic)
  • 洋書

Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021) (Studies in Universal Logic)  Hardcover

Madigan, Timothy J. (EDT)/ Béziau, Jean-Yves (EDT)

  • ウェブストア価格 ¥33,338(本体¥30,308)
  • Birkhauser Verlag AG(2024/05発売)
  • ポイント 303pt
  • 海外取次在庫
普遍代数論理学<br>Universal Algebraic Logic : Dedicated to the Unity of Science (Studies in Universal Logic)
  • 洋書

普遍代数論理学
Universal Algebraic Logic : Dedicated to the Unity of Science (Studies in Universal Logic)
 Paperback

Andréka, Hajnal/ Gyenis, Zalán/ Németi, István

  • ウェブストア価格 ¥22,919(本体¥20,836)
  • Birkhauser Verlag AG(2023/11発売)
  • ポイント 208pt
  • 海外取次在庫
Mathematical Logic : An Introduction (De Gruyter Textbook) (2023. XIV, 256 S. 30 b/w ill. 240 mm)
  • 洋書

Mathematical Logic : An Introduction (De Gruyter Textbook) (2023. XIV, 256 S. 30 b/w ill. 240 mm)  Paperback

Cunningham, Daniel

  • ウェブストア価格 ¥23,489(本体¥21,354)
  • DE GRUYTER(2023発売)
  • ポイント 213pt
  • 海外取次在庫
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

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

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Springer International Publishing AG(2023/05発売)
  • ポイント 322pt
  • 海外取次在庫
数理論理学(テキスト)<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,458(本体¥10,417)
  • Springer Nature Switzerland AG(2023/03発売)
  • ポイント 104pt
  • 海外取次在庫