ゲーデル不完全性定理ガイドツアー<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
  • 海外取次在庫
Institution-independent Model Theory (Studies in Universal Logic) (2ND)
  • 洋書

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

Diaconescu, Răzvan

  • ウェブストア価格 ¥34,369(本体¥31,245)
  • Birkhauser Verlag AG(2025/03発売)
  • ポイント 312pt
  • 海外からお取り寄せ(通常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

  • ウェブストア価格 ¥38,055(本体¥34,596)
  • Birkhauser Verlag AG(2024/08発売)
  • ポイント 345pt
  • 海外取次在庫
数理論理学への招待(テキスト)<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
  • 海外取次在庫
Mathematik für Techniker (9. Aufl.)
  • 洋書

Mathematik für Techniker (9. Aufl.)  Hardcover

Voelkel, Siegfried/ Bach, Horst/ Schaefer, Juergen

  • ウェブストア価格 ¥9,306(本体¥8,460)
  • Hanser Fachbuchverlag(2024/04発売)
  • ポイント 84pt
  • 海外取次在庫
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)

  • ウェブストア価格 ¥35,817(本体¥32,561)
  • Birkhauser Verlag AG(2024/05発売)
  • ポイント 325pt
  • 海外取次在庫
Anwendungsorientierte Mathematik für Technikerschulen (2. Aufl. 2024. 336 S. 240 mm)
  • 洋書

Anwendungsorientierte Mathematik für Technikerschulen (2. Aufl. 2024. 336 S. 240 mm)  Hardcover

Bucher, Stephan Emanuel

  • ウェブストア価格 ¥10,635(本体¥9,669)
  • HANSER FACHBUCHVERLAG(2024発売)
  • ポイント 96pt
  • 海外取次在庫
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,505(本体¥28,641)
  • Birkhauser Verlag AG(2024/06発売)
  • ポイント 286pt
  • 海外からお取り寄せ(通常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
  • 海外取次在庫
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
  • 海外取次在庫
Mathe - kann ich : Band 3: Diskrete Mathematik und Lineare Algebra (2024. 288 S. Komplett in Farbe. 240 mm)
  • 洋書

Mathe - kann ich : Band 3: Diskrete Mathematik und Lineare Algebra (2024. 288 S. Komplett in Farbe. 240 mm)  Hardcover

Schmidt-Groettrup, Markus/Risse, Thomas

  • ウェブストア価格 ¥7,976(本体¥7,251)
  • HANSER FACHBUCHVERLAG(2024発売)
  • ポイント 72pt
  • 海外からお取り寄せ(通常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)  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)版です。キャンセルは承れません。
Bernard Bolzano Gesamtausgabe / Reihe II: Nachlaß. B. Wissenschaftliche Tagebücher. Band 12,2: Miscellanea Mathematica 2 (Bernard Bolzano Gesamtausgabe Reihe II: Nachlaß. B. Wissenschaftliche Tagebücher. Band 12,2) (2024. 232 S. 25.4 cm)
  • 洋書

Bernard Bolzano Gesamtausgabe / Reihe II: Nachlaß. B. Wissenschaftliche Tagebücher. Band 12,2: Miscellanea Mathematica 2 (Bernard Bolzano Gesamtausgabe Reihe II: Nachlaß. B. Wissenschaftliche Tagebücher. Band 12,2) (2024. 232 S. 25.4 cm)

Bolzano, Bernard/ Herausgegeben von Rootselaar, Bob van/ Berg, Jan

  • ウェブストア価格 ¥73,942(本体¥67,220)
  • FROMMANN-HOLZBOOG VERLAG E.K.(2024発売)
  • ポイント 672pt
  • 海外からお取り寄せ(通常6~9週間)
Mathematik-Vorkurs : Ein Lehrbuch für Online- und Präsenzlehre mit der Inverted-Classroom-Methode für Ingenieur- und Wirtschaftswissenschaften (2024. 180 S. 242 mm)
  • 洋書

Mathematik-Vorkurs : Ein Lehrbuch für Online- und Präsenzlehre mit der Inverted-Classroom-Methode für Ingenieur- und Wirtschaftswissenschaften (2024. 180 S. 242 mm)  Hardcover

Wolf, Paul/Kersting, Sophie/Friedenberg, Stefan

  • ウェブストア価格 ¥7,976(本体¥7,251)
  • HANSER FACHBUCHVERLAG(2024発売)
  • ポイント 72pt
  • 海外からお取り寄せ(通常6~9週間)
Brückenkurs Mathematik, m. 1 Buch, m. 1 Beilage (Pearson Studium - Mathematik) (3. Aufl. 2024. 416 S.)
  • 洋書

Brückenkurs Mathematik, m. 1 Buch, m. 1 Beilage (Pearson Studium - Mathematik) (3. Aufl. 2024. 416 S.)

Ruhrlaender, Michael

  • ウェブストア価格 ¥10,624(本体¥9,659)
  • PEARSON STUDIUM(2024発売)
  • ポイント 96pt
  • 海外からお取り寄せ(通常6~9週間)
Système logique: Notions de base (2024. 112 S. 220 mm)
  • 洋書

Système logique: Notions de base (2024. 112 S. 220 mm)  Paperback

JABRI, Ihssen

  • ウェブストア価格 ¥16,197(本体¥14,725)
  • OMNISCRIPTUM; ÉDITIONS UNIVERSITAIRES EUROPÉEN(2024発売)
  • ポイント 147pt
  • オンデマンド(OD/POD)版です。キャンセルは承れません。
Nucleus - An extreme source of energy : A Practice Book For Competitive Exams (2024. 76 S. 220 mm)
  • 洋書

Nucleus - An extreme source of energy : A Practice Book For Competitive Exams (2024. 76 S. 220 mm)  Paperback

Patel, Rajesh J.

  • ウェブストア価格 ¥11,676(本体¥10,615)
  • LAP LAMBERT ACADEMIC PUBLISHING(2024発売)
  • ポイント 106pt
  • オンデマンド(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
  • 海外取次在庫