-
-
Mathesis Universalis, Computability and Proof
Synthese Library 412
-
Herausgegeben:Centrone, Stefania
Negri, Sara
Sarikaya, Deniz
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2019 2020 x
-
税込価格：
29,414円
海外在庫あり
通常２～５週間で出荷
-
-
Reflections on the Foundations of Mathematics
Univalent Foundations, Set Theory and General Thoughts
Synthese Library 407
-
Herausgegeben:Centrone, Stefania
Kant, Deborah
Sarikaya, Deniz
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2020年 00月
装丁：PAP
版次：1st ed. 2019 2020 xxviii
-
税込価格：
36,768円
海外在庫あり
通常２～５週間で出荷
