-
-
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Springer Monographs in Mathematics
-
Kohlenbach, Ulrich
-
出版社：Springer
出版年月：2010年 10月
装丁：PAP
言語：ENG
-
税込価格：
30,999円
海外在庫あり
通常２～５週間で出荷
-
-
Logic Colloquium 2007
Lecture Notes in Logic
-
Delon, Françoise (EDT)
Kohlenbach, Ulrich (EDT)
Maddy, Penelope (EDT)
-
出版社：Cambridge University Press
出版年月：2014年 03月
装丁：PAP
言語：ENG
-
税込価格：
11,151円
海外在庫あり
通常２～５週間で出荷
-
-
Logic, Language, Information, and Computation
21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8652
-
Herausgegeben von Kohlenbach, Ulrich
Barceló
, Pablo
-
出版社：Springer, Berlin; Springer Berlin Heidelberg; Springe
出版年月：2014年 07月
装丁：PAP
版次：2014. 2014. xx
-
税込価格：
11,446円
海外在庫あり
通常２～５週間で出荷
-
-
Logic, Language, Information, and Computation
20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013, Proceedings
Lecture Notes in Computer Science / Theoretical Computer Science and General Issues .8071
-
Herausgegeben von Libkin, Leonid
Kohlenbach, Ulrich
Queiroz, Ruy
-
出版社：Springer, Berlin
出版年月：2013年 08月
装丁：PAP
版次：2013. 2013. x
-
税込価格：
10,969円
海外在庫あり
通常２～５週間で出荷
-
-
論理学会議2007
Logic Colloquium 2007
Lecture Notes in Logic
-
Delon, Françoise (EDT)
Kohlenbach, Ulrich (EDT)
Maddy, Penelope (EDT)
-
出版社：Cambridge University Press
出版年月：2010年 08月
装丁：HRD
言語：ENG
-
税込価格：
33,167円
海外在庫あり
通常２～５週間で出荷
