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

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

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer International Publishing AG(2022/09発売)
  • ポイント 104pt
  • 海外からお取り寄せ(通常6~9週間)
A.P. Morse's Set Theory and Analysis (2022)
  • 洋書

A.P. Morse's Set Theory and Analysis (2022)  Hardcover

Alps, Robert A. (EDT)

  • ウェブストア価格 ¥35,422(本体¥32,202)
  • Birkhauser Verlag AG(2022/08発売)
  • ポイント 322pt
  • 海外からお取り寄せ(通常6~9週間)
数理論理学(テキスト・第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,619(本体¥11,472)
  • Springer Nature Switzerland AG(2022/05発売)
  • ポイント 114pt
  • 海外からお取り寄せ(通常6~9週間)
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)  Hardcover,  言語:ENG

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

  • ウェブストア価格 ¥41,674(本体¥37,886)
  • Springer Nature Switzerland AG(2023/01発売)
  • ポイント 378pt
  • 海外取次在庫
線形順序付け問題研究:組合せ最適化の厳密かつ全体論的な方法(第2版)<br>Exact and Heuristic Methods in Combinatorial Optimization : A Study on the Linear Ordering and the Maximum Diversity Problem (Applied Mathematical Sciences) (2ND)
  • 洋書

線形順序付け問題研究:組合せ最適化の厳密かつ全体論的な方法(第2版)
Exact and Heuristic Methods in Combinatorial Optimization : A Study on the Linear Ordering and the Maximum Diversity Problem (Applied Mathematical Sciences) (2ND)
 Hardcover

Martí, Rafael/ Reinelt, Gerhard

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(2022/03発売)
  • ポイント 246pt
  • 海外取次在庫
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic) (2021)
  • 洋書

Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi (Studies in Universal Logic) (2021)  Paperback,  言語:ENG

Indrzejczak, Andrzej

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

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥11,458(本体¥10,417)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 104pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)<br>Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics (2020)
  • 洋書

ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)
Gödel's Theorems and Zermelo's Axioms : A Firm Foundation of Mathematics (2020)
 Paperback

Halbeisen, Lorenz/ Krapf, Regula

  • ウェブストア価格 ¥12,500(本体¥11,364)
  • Springer Nature Switzerland AG(2021/10発売)
  • ポイント 113pt
  • オンデマンド(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)
  • 洋書
数理論理学(テキスト)<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

  • ウェブストア価格 ¥14,583(本体¥13,258)
  • Springer Nature Switzerland AG(2022/03発売)
  • ポイント 132pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
The Legacy of Kurt Schütte (2020)
  • 洋書

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

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

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2021/08発売)
  • ポイント 246pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
数理論理学(テキスト・第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,583(本体¥13,258)
  • Springer Nature Switzerland AG(2021/05発売)
  • ポイント 132pt
  • 海外取次在庫
The Legacy of Kurt Schütte (2020)
  • 洋書

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

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

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2020/08発売)
  • ポイント 246pt
  • 海外取次在庫
Decidability of Logical Theories and Their Combination (Studies in Universal Logic)
  • 洋書

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

Rasga, João/ Sernadas, Cristina

  • ウェブストア価格 ¥13,542(本体¥12,311)
  • Springer Nature Switzerland AG(2020/10発売)
  • ポイント 123pt
  • 海外からお取り寄せ(通常6~9週間)
Höhere Mathematik kompakt : mit Erklärvideos und interaktiven Visualisierungen (3RD)
  • 洋書

Höhere Mathematik kompakt : mit Erklärvideos und interaktiven Visualisierungen (3RD)  Paperback

Hoever, Georg

  • ウェブストア価格 ¥8,332(本体¥7,575)
  • Springer Spektrum(2020/09発売)
  • ポイント 75pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)<br>Gödel's Theorems and Zermelo's Axioms; . : A Firm Foundation of Mathematics (2020. xii, 236 S. XII, 236 p. 235 mm)
  • 洋書

ゲーデルの不完全定理とツェルメロの公理:数学の堅固な基盤(テキスト)
Gödel's Theorems and Zermelo's Axioms; . : A Firm Foundation of Mathematics (2020. xii, 236 S. XII, 236 p. 235 mm)
 Hardcover

Halbeisen, Lorenz/ Krapf, Regula

  • ウェブストア価格 ¥17,402(本体¥15,820)
  • SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;(2020発売)
  • ポイント 158pt
  • 海外からお取り寄せ(通常6~9週間)
Mathematische Modelle des Kontinuums
  • 洋書

Mathematische Modelle des Kontinuums  Paperback

Kleinert, Ernst

  • ウェブストア価格 ¥7,290(本体¥6,628)
  • Springer Spektrum(2020/03発売)
  • ポイント 66pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Combinatorial Set Theory of C*-algebras (Springer Monographs in Mathematics)
  • 洋書
  • 電子版あり

Combinatorial Set Theory of C*-algebras (Springer Monographs in Mathematics)  Hardcover

Farah, Ilijas

  • ウェブストア価格 ¥27,087(本体¥24,625)
  • Springer Nature Switzerland AG(2019/12発売)
  • ポイント 246pt
  • 海外取次在庫