-

-
論理学のしくみ:取扱説明書
How Logic Works
A User's Guide
-
Halvorson, Hans
-
出版社:Princeton University Press
出版年月:2024年 08月
装丁:PAP
言語:ENG
-
税込価格:
5,297円
国内在庫あり
通常1週間~10日で出荷
-

-
ウィーンにおける数理論理学
Mathematical Logic in Vienna
Vienna Circle Institute Library
-
Goedel, Kurt
von Plato, Jan
Hahn, Hans
-
出版社:Springer
出版年月:2025年 01月
装丁:HRD
言語:ENG
-
税込価格:
28,136円
海外在庫あり
通常2~5週間で出荷
-

-
数学のコード:証明と真理(テキスト)
The Code of Mathematics
Proof and Truth
Mathematics Study Resources 11
-
Mueller-Stach, Stefan
-
出版社:Springer
出版年月:2024年 09月
装丁:PAP
言語:ENG
-
税込価格:
11,719円
国内在庫あり
通常1週間~10日で出荷
-

-
万人のための論理学
Logic for Everyone
From Proof to Paradox
-
Decker, Jason
-
出版社:Cambridge University Press
出版年月:2025年 04月
装丁:PAP
言語:ENG
-
税込価格:
10,253円
海外在庫あり
通常2~5週間で出荷
-

-
集合論と数学の基礎:数理論理学入門 第1巻 集合論
Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory
-
Cenzer, Douglas
Porter, Christopher
Zapletal, Jindrich
-
出版社:World Scientific Publishing Co Pte Ltd
出版年月:2025年 01月
装丁:HRD
言語:ENG
版次:Second
-
税込価格:
14,441円
海外在庫あり
通常2~5週間で出荷
-

-
万人のための論理学
Logic for Everyone
From Proof to Paradox
-
Decker, Jason
-
出版社:Cambridge University Press
出版年月:2025年 04月
装丁:HRD
言語:ENG
-
税込価格:
29,305円
海外在庫あり
通常2~5週間で出荷
-

-
Higher Recursion Theory And Set Theory
Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore
-
Cummings, James (EDT)
Marks, Andrew (EDT)
Yang, Yue (EDT)
-
出版社:World Scientific Publishing Co Pte Ltd
出版年月:2025年 02月
装丁:HRD
言語:ENG
-
税込価格:
31,431円
海外在庫あり
通常2~5週間で出荷
-

-
数学的証明への初心者ガイド
A Beginner's Guide to Mathematical Proof
-
DeBonis, Mark J.
-
出版社:Chapman & Hall/crc
出版年月:2025年 03月
装丁:HRD
言語:ENG
-
税込価格:
36,960円
海外在庫あり
通常2~5週間で出荷
-

-
数学的証明への初心者ガイド
A Beginner's Guide to Mathematical Proof
-
DeBonis, Mark J.
-
出版社:Chapman & Hall/crc
出版年月:2025年 03月
装丁:PAP
言語:ENG
-
税込価格:
14,212円
海外在庫あり
通常2~5週間で出荷
-

-
集合における強制法:ブール値モデルを通した入門(テキスト)
The Forcing Method in Set Theory
An Introduction via Boolean Valued Logic
UNITEXT 168
-
Viale, Matteo
-
出版社:Springer
出版年月:2024年 11月
装丁:PAP
-
税込価格:
11,719円
海外在庫あり
通常2~5週間で出荷
-

-
数理論理学への招待(テキスト)
An Invitation to Mathematical Logic
Graduate Texts in Mathematics 301
-
Marker, David
-
出版社:Springer
出版年月:2024年 05月
装丁:HRD
-
税込価格:
16,410円
国内在庫あり
通常1週間~10日で出荷
-

-
ねじれた論理学
Twisted Logic
Puzzles, Paradoxes, and Big Questions
-
Williams, Leighton Vaughan
-
出版社:Chapman & Hall/crc
出版年月:2024年 07月
装丁:PAP
言語:ENG
-
税込価格:
7,104円
国内在庫あり
通常1週間~10日で出荷
-

-
The Theory of Countable Borel Equivalence Relations
Cambridge Tracts in Mathematics
-
Kechris, Alexander S.
-
出版社:Cambridge University Press
出版年月:2024年 11月
装丁:HRD
言語:ENG
-
税込価格:
32,242円
海外在庫あり
通常2~5週間で出荷
-

-
An Introduction to Naïve Set Theory and Its Applications
University Texts in the Mathematical Sciences
-
Srivastava, Shashi Mohan
-
出版社:Springer
出版年月:2024年 11月
装丁:HRD
言語:ENG
-
税込価格:
12,893円
海外在庫あり
通常2~5週間で出荷
-

-
ゲーデル不完全性定理ガイドツアー
Gödel's Incompleteness Theorems
A Guided Tour Through Kurt Gödel's Historic Proof
-
Hoffmann, Dirk W.
-
出版社:Springer
出版年月:2024年 10月
装丁:PAP
言語:ENG
-
税込価格:
11,719円
海外在庫あり
通常2~5週間で出荷
-

-
Institution-independent Model Theory
Studies in Universal Logic
-
Diaconescu, Razvan
-
出版社:Birkhäuser
出版年月:2024年 10月
装丁:HRD
言語:ENG
版次:2ND
-
税込価格:
43,250円
海外在庫あり
通常2~4週間で出荷
-

-
モデル理論におけるトピック(テキスト)
Topics In Model Theory
-
Pillay, Anand
-
出版社:World Scientific Publishing Co Pte Ltd
出版年月:2024年 05月
装丁:PAP
言語:ENG
-
税込価格:
5,946円
海外在庫あり
通常2~5週間で出荷
-

-
不可能を証明する:アロー、ベル、チャイティン、ゲーデル、チューリングらが取り組んだ根本的不可能性証明の基本的理解
Proven Impossible
Elementary Proofs of Profound Impossibility from Arrow, Bell, Chaitin, Gödel, Turing and More
-
Gusfield, Dan
-
出版社:Cambridge University Press
出版年月:2024年 01月
装丁:PAP
言語:ENG
-
税込価格:
8,201円
国内在庫あり
通常1週間~10日で出荷
-

-
ねじれた論理学
Twisted Logic
Puzzles, Paradoxes, and Big Questions
-
Williams, Leighton Vaughan
-
出版社:Chapman & Hall/crc
出版年月:2024年 07月
装丁:HRD
言語:ENG
-
税込価格:
23,310円
海外在庫あり
通常2~5週間で出荷
-

-
数理論理学入門:数、集合、構造、対称(第2版)
Mathematical Logic
On Numbers, Sets, Structures, and Symmetry
Springer Graduate Texts in Philosophy 4
-
Kossak, Roman
-
出版社:Springer
出版年月:2024年 05月
装丁:HRD
版次:2ND
-
税込価格:
21,100円
海外在庫あり
通常2~5週間で出荷