-
-
Investigations into the Predicate Calculus
-
Ketonen, Oiva
Negri, Sara (EDT)
Von Plato, Jan (EDT)
-
出版社：College Publications
出版年月：2022年 12月
装丁：PAP
言語：ENG
-
税込価格：
4,193円
海外在庫あり
通常２～４週間で出荷
-
-
Proof Analysis
A Contribution to Hilbert's Last Problem
-
Negri, Sara
von Plato, Jan
-
出版社：Cambridge University Press
出版年月：2014年 06月
装丁：PAP
言語：ENG
-
税込価格：
12,839円
海外在庫あり
通常２～５週間で出荷
-
-
Proof Analysis
A Contribution to Hilbert's Last Problem
-
Negri, Sara
von Plato, Jan
-
出版社：Cambridge University Press
出版年月：2011年 09月
装丁：HRD
言語：ENG
-
税込価格：
28,738円
海外在庫あり
通常２～５週間で出荷
-
-
Mathesis Universalis, Computability and Proof
Synthese Library
-
Centrone, Stefania (EDT)
Negri, Sara (EDT)
Sarikaya, Deniz (EDT)
-
出版社：Springer
出版年月：2019年 08月
装丁：HRD
言語：ENG
-
税込価格：
29,734円
海外在庫あり
通常２～５週間で出荷
-
-
Structural Proof Theory
-
Negri, Sara
von Plato, Jan
-
出版社：Cambridge University Press
出版年月：2008年 07月
装丁：PAP
言語：ENG
-
税込価格：
12,839円
海外在庫あり
通常２～５週間で出荷
-
-
Automated Reasoning with Analytic Tableaux and Related Methods
30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Lecture Notes in Computer Science 12842
-
Herausgegeben:Das, Anupam
Negri, Sara
-
出版社：Springer, Berlin; Springer International Publishing;
出版年月：2021年 00月
装丁：PAP
言語：ENG
版次：1st ed. 2021. 2021. xix
-
税込価格：
12,386円
海外在庫あり
通常２～５週間で出荷
-
-
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,734円
海外在庫あり
通常２～５週間で出荷
